Home  
Series  
Studies in Logic & the Foundations of Mathematics
for weekly updates & specials by email

Studies in Logic & the Foundations of Mathematics

1 to 20 of 20 Results
Sort:
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$142.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$412.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$448.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$341.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$388.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$332.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$267.99
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$427.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$474.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$264.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$419.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$509.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$465.99
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$607.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$576.99
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144 on Hardback by C.J. Ash
$364.99
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
by C.J. Ash ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Proof Theory: Volume 137 on Hardback
$507.99
Handbook of Proof Theory: Volume 137
Hardback
Available - Usually ships in 3-4 weeks
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
$500.99
Admissibility of Logical Inference Rules: Volume 136
by V.V. Rybakov ~ Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras: Volume 150 on Hardback by Roger Duncan Maddux
$685.99
Relation Algebras: Volume 150
by Roger Duncan Maddux ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory An Introduction To Independence Proofs: Volume 102 on Hardback by K. Kunen
$264.99
Set Theory An Introduction To Independence Proofs: Volume 102
by K. Kunen ~ Hardback
Available - Usually ships in 3-4 weeks