载入...

QR Code

Godel's proof /

书目详细资料
主要作者:	Ernest Nagel
其他作者:	James R. Newman
格式:	Printed Book
出版:	London : Routledge, 2005.
主题:	Godel's Theorem Mathematics Symbolic Logic Logic

相似书籍

Godel's proof,
由: Nagel, Ernest
出版: (1986)

Metamathematics, machines and Godel's proof.
由: Shankar, N
出版: (1994)

Kurt Gödel and the foundations of mathematics : horizons of truth /
出版: (2014)

Godel's incompleteness theorems /
由: Smullyan, Raymond M.
出版: (1992)

Gödel's theorem in focus /
出版: (1988)

Industrial adjudication; with special reference to reinstatement
由: Kulkarni, R. S
出版: (1973)

Impossibility: limits of science and the science of limits
由: Barrow, John D.
出版: (2005)

Introduction to mathematical structures and proofs /
由: Gerstein, Larry J.
出版: (2012)

A transition to mathematics with proofs /
由: Cullinane, Michael J.
出版: (2013)

Management
由: Stoner, James A F
出版: (1995)

Proofs and refutations : the logic of mathematical discovery /
由: Lakatos, Imre
出版: (1976)

Logic for computer science : foundations of automatic theorem proving /
由: Gallier, Jean H.
出版: (2015)

A textbook of logic
由: Krishna Jain; Author
出版: (2009)

Proofs and refutations : the logic of mathematical discovery /
由: Lakatos, Imre
出版: (1976)

Classical theory of first order logic
由: Pampapathy Rao, A; Author
出版: (1970)

Classical theory of first order logic
由: Pampapathy Rao, A; Author
出版: (1970)

Profile of mathematical logic
由: Delong, Horward
出版: (1970)

Logic collequium 2007
由: Francoise Delon (ed.)
出版: (2010)

Godel's proof /
由: Nagel, Ernest
出版: (1964)

The logical syntax of language /
由: Carnap, Rudolf
出版: (1964)

Symbolic logic /
由: Copi, Irving M.
出版: (1962)

Theories of abstract automata
由: Arbib, Michael A
出版: (1969)

Automata, languages and programming: 23rd International Colloquium, ICALP '96
由: Heide, F Meyer auf der
出版: (1996)

Switching and finite automata theory
由: Kohavi, Zvi
出版: (1986)

Automata theory and its applications
由: Khoussainov, Bakhadyr
出版: (2001)

Cellular automata and groups
由: Silberstein, Tullio Ceccherini
出版: (2010)

Introduction to formal languages and automata
由: Linz, Peter
出版: (2003)

Formal Languages and automata
由: Linz, Peter
出版: (2006)

Introduction to automata theory, Languages and computation
由: Hopcroft, John E, et al
出版: (2011)

Course in formal languages automata and groups
由: Chiswell, Ian
出版: (2009)

Introduction to formal languages and automata
由: Linz, Peter
出版: (2003)

Introduction to automata theory, Languages and computation
由: Hopcroft, John E
出版: (2001)

Cellular automata
由: Schiff, Joel
出版: (2008)

Textbook on automata theory
由: Srimani, P K
出版: (2008)

Formal properties of finite automata and applications
出版: (1989)

Introduction to automata theory, Languages and computation
由: Hopcroft, John E
出版: (1990)

Introduction to mathematical logic /
由: Mendelson, Elliott
出版: (2010)

Logical forms : an introduction to philosophical logic /
由: Sainsbury, R. M.
出版: (1991)

Logic with trees : an introduction to symbolic logic /
由: Howson, Colin
出版: (1997)

Introduction to mathematical logic /
由: Mendelson, Elliott
出版: (1964)