Utvalda
Jämför webbutiker (2)
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity: 1
Priser uppdaterades senast: 09-06-2026, 00:16
Cambridge University Press
Computability: An Introduction to Recursive Function Theory
Springer
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
World Scientific Publishing Company
MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, & RANDOMNESS
Type Theory and Formal Proof: An Introduction
Tillbaka till toppen