Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zach, Richard - Department of Philosophy, University of Calgary
George S. Boolos, John P. Burgess, and Richard C. Jeffrey. Computabil-ity and logic. Fourth edition. Cambridge University Press, Cambridge, 2002. xi
Quantified Propositional Godel Logics Matthias Baaz1
R. L. EPSTEIN and W. A. CARNIELLI. Computability. Computable Functions, Logic, and the Foundations of Mathematics, 2nd Edition, with `Computability
Tableaux for Reasoning About Atomic Updates Christian G. Fermuller Georg Moser Richard Zach
