Tag: formal systemsIncludes: formal systems, Formal Systems (what?) Tag and its aliases used 26 times by 14 members. Most often tagged  Weighted  Popular recently  Published recently — Filter: None (edit)  Most often tagged formal systems
 Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter (7 times)
 Introduction to Montague Semantics by David R. Dowty (2 times)
 Proof in VDM: A practitioner's Guide. Formal Approaches to Computing and Information Technology by J C Bicarregui (ed) (1 times)
 Symmetry: A Journey into the Patterns of Nature by Marcus du Sautoy (1 times)
 Gödel, Putnam, and Functionalism: A New Reading of Representation and Reality (Bradford Books) by Jeff Buechner (1 times)
 Proof in Vdm: Case Studies (Formal Approaches to Computing and Information Technology) by J C Bicarregui (ed) (1 times)
 Theory of Formal Systems by Raymond Smullyan (1 times)
 Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar by L. T. F. Gamut (1 times)
 Logic, Language, and Meaning, Volume 1: Introduction to Logic by L. T. F. Gamut (1 times)
 Meta Math!: The Quest for Omega by Gregory Chaitin (1 times)
 Gödel: A Life of Logic, the Mind, and Mathematics by John L. Casti (1 times)
 The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky (1 times)
 Gödel’s Proof by Ernest Nagel (1 times)
 The Philosophy of Mathematics: An Introductory Essay by Stephan Körner (1 times)
 Infinity and the Mind: The Science and Philosophy of the Infinite by Rudy Rucker (1 times)
 God Created the Integers: The Mathematical Breakthroughs That Changed History by Stephen Hawking (1 times)
 From Frege to Gödel: A Source Book in Mathematical Logic, 18791931 by Jean van Heijenoort (1 times)
 The Logic Book by Merrie Bergmann (1 times)
 Artificial Intelligence: The Very Idea by John Haugeland (1 times)
Using the tag formal systemsbertilak (2), taylordw (2), johnnyninefingers (2), CarlosMcRey (1), JerryMonaco (1), ColinFine (1), mrzetler (1), TooHotty (1), Emilpop (1), BSULingLab (1), dskea (1), horuskol (1)Recently tagged formal systemsGoogle Books Ngram Viewer: formal systemsData from Books Ngram Viewer Tag translation: formal systemsLibraryThing members can help translate tags into the languages of all LibraryThing sites. Read more about it here. Review member translations here. 

Related tagmasheslogic, math (9) Godel, Kurt (7) logic, nonfiction (7) math, nonfiction, philosophy (7) math, philosophy (7) logic, number theory (6) number theory, popular science (6) philosophy, set theory (6) computer science, number theory (5) computer science, popular science (5) history of mathematics, number theory (5) history, number theory (5) logic, philosophy (5) logic, philosophy of science (5) math, nonfiction (5) math, number theory, philosophy (5) math, popular science (5) math, science (5) cognitive science, logic (4) 