Studies in Logic and the Foundations of Mathematics – serie
Tools and Techniques in Modal Logic
2 589 kr
Skickas inom 5-8 vardagar
Computable Structures and the Hyperarithmetical Hierarchy
2 319 kr
Skickas inom 5-8 vardagar
Classical Recursion Theory, Volume II
2 089 kr
Skickas inom 10-15 vardagar
Theory of Relations
2 359 kr
Skickas inom 10-15 vardagar
Rudiments of Calculus
1 709 kr
Skickas inom 5-8 vardagar
Many-Dimensional Modal Logics: Theory and Applications
2 989 kr
Skickas inom 5-8 vardagar
Categorical Logic and Type Theory
2 249 kr
Skickas inom 5-8 vardagar
Relation Algebras by Games
2 759 kr
Skickas inom 5-8 vardagar
Realizability
An Introduction to its Categorical Side
2 149 kr
Skickas inom 10-15 vardagar
Quantification in Nonclassical Logic
2 739 kr
Skickas inom 10-15 vardagar
Relation Algebras
3 399 kr
Skickas inom 5-8 vardagar
Lectures on the Curry-Howard Isomorphism
1 979 kr
Skickas inom 10-15 vardagar
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2 589 kr
Skickas inom 5-8 vardagar
Constructivism in Mathematics, Vol 1
889 kr
Skickas inom 10-15 vardagar
Constructivism in Mathematics, Vol 2
1 009 kr
Skickas inom 10-15 vardagar
Logical Frameworks for Truth and Abstraction
An Axiomatic Study
2 339 kr
Skickas inom 5-8 vardagar
Set Theory An Introduction To Independence Proofs
799 kr
Skickas inom 10-15 vardagar
Language in Action
Categories, Lambdas and Dynamic Logic
1 709 kr
Skickas inom 5-8 vardagar
Classical Recursion Theory
The Theory of Functions and Sets of Natural Numbers
1 549 kr
Skickas inom 5-8 vardagar
Admissibility of Logical Inference Rules
2 499 kr
Skickas inom 5-8 vardagar
Handbook of Proof Theory
2 139 kr
Skickas inom 10-15 vardagar
Handbook of Computability Theory
3 059 kr
Skickas inom 5-8 vardagar