Philosophical Uses of Categoricity Arguments
Penelope Maddy
Download - Immediately Available
Format: eBook (EPUB)
Philosophical Uses of Categoricity Arguments
Penelope Maddy
Download - Immediately Available
Format: eBook (PDF)
Proof Analysis : A Contribution to Hilbert's Last Problem
Sara Negri
Download - Immediately Available
Format: eBook (PDF)
Dependence Logic : A New Approach to Independence Friendly Logic
Jouko Vaananen
Download - Immediately Available
Format: eBook (PDF)
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Duality Theories for Boolean Algebras with Operators
Steven Givant
Download - Immediately Available
Format: eBook (PDF)
Introduction to Relation Algebras : Relation Algebras, Volume 1
Steven Givant
Download - Immediately Available
Format: eBook (PDF)
Advanced Topics in Relation Algebras : Relation Algebras, Volume 2
Steven Givant
Download - Immediately Available
Format: eBook (PDF)
Chapters from Godel's Unfinished Book on Foundational Research in Mathematics
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)