Studies in Logic and the Foundations of Mathematics - Böcker
Tools and Techniques in Modal Logic
2 599 kr
Skickas inom 5-8 vardagar
Computable Structures and the Hyperarithmetical Hierarchy
2 329 kr
Skickas inom 5-8 vardagar
Classical Recursion Theory, Volume II
2 099 kr
Skickas inom 7-10 vardagar
Theory of Relations
2 369 kr
Skickas inom 7-10 vardagar
Rudiments of Calculus
1 719 kr
Skickas inom 5-8 vardagar
Many-Dimensional Modal Logics: Theory and Applications
2 909 kr
Skickas inom 5-8 vardagar
Categorical Logic and Type Theory
1 579 kr
Skickas inom 7-10 vardagar
Relation Algebras by Games
2 769 kr
Skickas inom 5-8 vardagar
Realizability
An Introduction to its Categorical Side
2 169 kr
Skickas inom 7-10 vardagar
Quantification in Nonclassical Logic
2 749 kr
Skickas inom 7-10 vardagar
Relation Algebras
3 419 kr
Skickas inom 5-8 vardagar
Lectures on the Curry-Howard Isomorphism
1 989 kr
Skickas inom 7-10 vardagar
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2 599 kr
Skickas inom 5-8 vardagar
Constructivism in Mathematics, Vol 1
899 kr
Skickas inom 7-10 vardagar
Constructivism in Mathematics, Vol 2
1 019 kr
Skickas inom 7-10 vardagar
Logical Frameworks for Truth and Abstraction
An Axiomatic Study
2 349 kr
Skickas inom 5-8 vardagar
Set Theory An Introduction To Independence Proofs
799 kr
Skickas inom 7-10 vardagar
Language in Action
Categories, Lambdas and Dynamic Logic
1 719 kr
Skickas inom 5-8 vardagar
Classical Recursion Theory
The Theory of Functions and Sets of Natural Numbers
1 559 kr
Skickas inom 5-8 vardagar
Admissibility of Logical Inference Rules
2 509 kr
Skickas inom 5-8 vardagar
Handbook of Proof Theory
2 149 kr
Skickas inom 7-10 vardagar
Handbook of Computability Theory
3 079 kr
Skickas inom 5-8 vardagar