Posted by **Nice_smile)** at Jan. 18, 2017

Posted by **step778** at Feb. 18, 2016

1996 | pages: 299 | ISBN: 0520023560 | PDF | 21,4 mb

Posted by **step778** at Dec. 2, 2013

1996 | pages: 299 | ISBN: 0520023560, 0520018222 | PDF | 21,5 mb

Posted by **pepoimc** at Jan. 31, 2011

Publisher: Macmillan (February 25, 1971) | ISBN: 0333115899 | Pages: 302 | DJVU | 5.22 MB

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Posted by **interes** at Jan. 30, 2014

English | 2012 | ISBN: 0199651728 , 0199651736 | ISBN-13: 9780199651726 , 9780199651733 | 224 pages | PDF | 1,3 MB

This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing. Notions like "denumerability," "modal scope distinction," "Bayesian conditionalization," and "logical completeness" are usually only elucidated deep within difficult specialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists.

Posted by **bearfox** at Oct. 22, 2007

Penguin Books | ISBN: 0140070567 | 1984 | 182 pages | OCR | PDF | 1.42 Mb

Raymond Smullyan is a unique set of personalities that includes a philosopher, logician, mathematician, musician, magician,humorist, writer, and maker of marvelous puzzles. Because he is a skillful writer and humorist, he enjoys presenting his puzzles in narrative forms that often parody great works of popular fiction.