Constructivism in Mathematics. Vol.1
A S Troelstra and 1 more
Hardback
Not Available
Constructivism in Mathematics
AS Troelstra and 1 more
Paperback
Classical Recursion Theory
Piergiorgio Odifreddi
Logical Frameworks for Truth and Abstraction
Andrea Cantini
Admissibility of Logical Inference Rules
Vladimir V Rybakov
Handbook of Proof Theory
Samuel R Buss
Tools and Techniques in Modal Logic
Marcus Kracht
Handbook of Computability Theory
Edward R Griffor
Computable Structures and the Hyperarithmetical Hierarchy
C J Ash and 1 more
Theory of Relations
Roland Fraïssé
Rudiments of [Mu]-Calculus
A Arnold and 1 more
Categorical Logic and Type Theory
B Computing Science Institute and 2 more
Relation Algebras by Games
R Hirsch and 1 more
Many-Dimensional Modal Logics
Dov M Gabbay
Relation Algebras
R D Maddux
Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen and 1 more
Residuated Lattices
Nikolas Galatos
Quantification in Nonclassical Logic
Dov M Gabbay and 2 more
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
![Book Cover for Rudiments of [Mu]-Calculus by A Arnold, Damian NiwiÔnski](http://www.bibdsl.co.uk/bds-images/m/978044/9780444506207.jpg)
