Reviews matching “The Logic of Provability”

6 results

BookAuthorReviewerJournalDate
Solvability, provability, definability: the collected works of Emil L. Post Davis Martin, Contemporary mathematicians H. B. Enderton The Journal of Symbolic Logic 1997
The Logic of Provability George Boolos Philip Scowcroft The Philosophical Review 1995-10-00
The Logic of Provability George Boolos Helen Billinge Philosophy in Review 1995-01-01
The Logic of Provability George Boolos Sergei N. Artemov The Journal of Symbolic Logic 1995
Statistical estimation of provability in Boolean logic Antoniń Špaček A. A. Mullin The Journal of Symbolic Logic 1962
Provability in logic Stig Kanger F. H. Fischer The Journal of Symbolic Logic 1958

Open this search with filters