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
Cambridge University Press (9780521626064) | Principia Mathematica
Dive into the "Handbook of Applied Cryptography," a comprehensive guide by CRC Press that explores discrete mathematics and cryptography applications.
Springer (9781848003217) | Computer Science
Springer (9781461457459) | Course on Mathematical Logic
Springer (9781402012709)
Springer (9780387986005) | Descriptive Complexity
Oxford University Press (9780199931613) | Mary Somerville
Academic Press (9780121703509)
Chapman and Hall/CRC (9781466514904)
Cambridge University Press (9781108410908)
Springer (9781402007637)
CRC Press (9781138502086) | Universal Computer
American Mathematical Society (9781470428990) | Tools of Mathematical Reasoning
(9781461442646 / 19221905) | Real and complex
(9781441971548 / 11739972)
(9780078038419 / 9780078038419) | Logic Book
Explore advanced concepts in digital identity management, encryption techniques, and policy enforcement with a focus on logical frameworks for secure access control systems.
(9781108439534) - Daniel J. Velleman - Third edition - Cambridge University Press - Height: 153 mm - Spine width: 24 mm - Width: 226 mm - ISBN: 9781108439534 - Number of pages: 400 - Languages: English | Advanced mathematics
Oxford University Press, USA (9780190691158) | Five decades, Farewell to Ice, Sea Ice, Melting Ice caps, Summer Ice, Effect nearly
(9780486483856 / Illustrated) | Logic and Boolean
(9781852330569)
Brand: Basic Books (9780465026562 / 21285092) - Douglas R. Hofstadter - Paperback - Basic Books - New York, United States - Little, Brown - Dimensions: 170.18 x 231.14 x 55.88mm | 1,133.98g - Edition statement: 20th Anniversary ed.
Cambridge University Press (9781107400481)
Routledge (9780415023184)
OUP Oxford (9780198250296)
McGraw-Hill Education (9780071701280)
Cambridge University Press (9781107036505)
Springer (9781848002289) | Line Drawing Interpretation
Chapman and Hall/CRC (9781584885436)
A K Peters/CRC Press (9781568814438) | Logical Labyrinths
Auerbach Publications (9781482228892) | Practical Cryptography
Springer (9781441994783) | Undergraduate Texts in Mathematics
John Wiley & Sons (9781118346334) | Big Typescript