Salta al contenuto principale

Etichettaformal systems

Comprende: formal systems, Formal Systems

Opere etichettate

Etichettate più spesso | In proporzione alla biblioteca | Popolari di recente | Pubblicate di recente — Filtro: Nessuno (modifica)

Gödel, Escher, Bach: an Eternal Golden Braid di Douglas Hofstadter (7 volte)
Gödel: A Life of Logic, the Mind, and Mathematics di John L. Casti (3 volte)
Introduction to Montague Semantics di David R. Dowty (2 volte)
Proof in VDM: A practitioner's Guide. Formal Approaches to Computing and Information Technology di J C Bicarregui (ed) (1 volte)
Il disordine perfetto di Marcus Du Sautoy (1 volte)
Gödel, Putnam, and Functionalism: A New Reading of Representation and Reality (Bradford Books) di Jeff Buechner (1 volte)
Proof in Vdm: Case Studies (Formal Approaches to Computing and Information Technology) di J C Bicarregui (ed) (1 volte)
Theory of Formal Systems di Raymond Smullyan (1 volte)
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar di L. T. F. Gamut (1 volte)
Logic, Language, and Meaning, Volume 1: Introduction to Logic di L. T. F. Gamut (1 volte)
Meta Math!: The Quest for Omega di Gregory Chaitin (1 volte)
The Way of Z: Practical Programming with Formal Methods di Jonathan Jacky (1 volte)
La prova di Gödel di Ernest Nagel (1 volte)
The Philosophy of Mathematics: An Introductory Essay di Stephan Körner (1 volte)
Infinity and the Mind: The Science and Philosophy of the Infinite di Rudy Rucker (1 volte)
God Created the Integers: The Mathematical Breakthroughs That Changed History di Stephen Hawking (1 volte)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 di Jean van Heijenoort (1 volte)
The Logic Book di Merrie Bergmann (1 volte)
Artificial Intelligence: The Very Idea di John Haugeland (1 volte)

Titoli Copertine

Uso dell'etichetta

bertilak (2), johnnyninefingers (2), taylordw (2), BSULingLab (1), ObsessedOHhunter (1), Embarquer (1), dskea (1), mfd101 (1), horuskol (1), ColinFine (1), CarlosMcRey (1), mrzetler (1), Emilpop (1), JerryMonaco (1)

Google Books Ngram Viewer

Dati da Books Ngram Viewer

Etichette correlate

Caricamento in corso...

Serie in relazione

Logic, Language, and Meaning

Studies in Linguistics and Philosophy

Miscugli di etichette correlati

logic, math (9)

Godel, --Kurt (7)

math, non-fiction, philosophy (7)

math, philosophy (7)

history of mathematics, philosophy of mathematics (6)

logic, number theory (6)

number theory, popular science (6)

philosophy, set theory (6)

computer science, number theory (5)

computer science, physics (5)

computer science, popular science (5)

history of mathematics, number theory (5)

history of science, math, non-fiction (5)

history, number theory (5)

logic, non-fiction (5)

logic, non-fiction, philosophy (5)

logic, philosophy (5)

logic, philosophy of science (5)

math, non-fiction (5)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.