| Gaisi Takeuti - Mathematics - 2013 - 512 pages
This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview ... | |
| Social Science - 2012 - 110 pages
This Cahier du centre de logique is made of papers presented at the homonymous conference that was organized by the editors in October 2008 to celebrate the 100th birthday of ... | |
| Raymond M. Smullyan, Melvin Fitting - Mathematics - 1996 - 288 pages
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. It is self-contained and ... | |
| |