Click on a thumbnail to go to Google Books.
Loading... Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)by Melvin Fitting
None Loading...
Sign up for LibraryThing to find out whether you'll like this book. No current Talk conversations about this book. No reviews no reviews | add a review
Provability, Computability and Reflection No library descriptions found. |
Current DiscussionsNone
Google Books — Loading... GenresMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicLC ClassificationRatingAverage: No ratings.Is this you?Become a LibraryThing Author. |