Mathematical Logic
Suggestions for Mathematical Logic
Logic textbook Metalogic treatise Proof systems text Proof theory primer Symbolic logic text Boolean logic primer Dynamic logic primer Modal logic handbook Formal logic treatise Model theory handbook Set theory logic text Temporal logic textbook Axiomatic logic treatise First-order logic primer Algebraic logic monograph Classical logic reference Description logic handbook Infinitary logic monograph Logic and semantics primer Type theory and logic text Intuitionistic logic primer Logic programming reference Second-order logic textbook Automated reasoning handbook Computability and logic text Constructive logic monograph Finite model theory handbook Higher-order logic monograph Mathematical logic monograph Nonclassical logics handbook Abstract model theory handbook
Explore a whimsical yet rigorous journey where a single pea defies expectations under sunlight, revealing hidden symmetries and challenging conventional proofs in an engaging blend of narrative and mathematical insight.
(9780521763165 / YES3791625)
(9780486488219)
(9780367201579)
(9780815386650) - Mark Verus Lawson
(9780691182780) - Height: 122mm - Spine width: 20mm - Width: 200mm - Princeton University Press - x, 123 - ISBN: 9780691182780 - Languages: English - Publication date: 23 Nov 2018 - Weight: 224g
Lakatos Imre (9781107534056 / 27 b/w illus. 2 tables)
(9781138197015 / 34172162) - Douglas Robert Stinson - Fourth edition - Chapman & Hall/CRC - xvii, 580 - Taylor and Francis - Height: 185 mm - Spine width: 40 mm - Width: 260 mm - ISBN: 9781138197015 - Languages: English
(9780199237180)
(9780521719162)
(9780122384523) - Country of publication: UNITED STATES - Dimensions: (H) 241mm, (W) 165mm, (D) 23mm - Edition: 2 ed - Academic Press Inc - Elsevier Science & Technology - Print on demand - ISBN: 9780122384523
(9780521597180) - Height: 227 mm - Spine width: 18 mm - Width: 152 mm - Cambridge University Press - ISBN: 9780521597180 - Number of pages: 350 - Languages: English - Weight: 524 g
Brand: Running Press (9780762419227) | God created
(9780198772101 / 3237859) - Edition: 2nd edition - Height: 217 mm - Spine width: 11 mm - Width: 138 mm - Oxford University Press - OUP Oxford - ISBN: 9780198772101 - Number of pages: 208 - Languages: English
A K Peters/CRC Press (9781568812380) | Gödel's Theorem
Dover Publications Inc. (9780486601649)
Plume Books (9780452287839)
W. W. Norton & Company (9780393327601)
McGraw-Hill Education (9780070381599)
Icon Books (9781848310124) | Introducing Logic
Chapman and Hall/CRC (9781466570269) | Public-key cryptography, Introduction to Modern, Introduction to Modern Cryptography, Private-key Cryptography, Treatment of private-key encryption, Public-key encryption & Ciphers and block ciphers
NYU Press (9780814758168)
Cambridge University Press (9780521779111) | Basic Proof
Cambridge University Press (9780521541206)
Cambridge University Press (9780521592697)
(9780007297139 / 2592146)
(9780231153287) | Kenneth J
(9781349453733)
(9780814758373 / 9780814758373) - Dimensions: 127 x 203 x 11.94mm | 181.44g - Revised - Revised ed. - New York, United States - New York University Press - Format: Paperback | 160 pages - Publication date: 01 Oct 2008
(9780387402932 / 10 black & white illustrations, biograph)
(9781568812564)
(9780486492377)
(9780387940946)