Imagen de Portada

Gödel's proof /

Guardado en:

Autor Principal:	Nagel, Ernest, 1901-1985.
Otros Autores:	Newman, James Roy, 1907-1966.
Formato:	Libro
Idioma:	English
Publicado:	[New York] : New York University Press, 1958.
Materias:	Gödel's theorem.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Gödel's theorem : an incomplete guide to its use and abuse /
por: Franzén, Torkel.
Publicado: (2005)

Forever undecided : a puzzle guide to Gödel /
por: Smullyan, Raymond M.
Publicado: (1988)

Word problems : decision problems and the Burnside problem in group theory /
Publicado: (1973)

Gödel's proof /
por: Nagel, Ernest
Publicado: (1958)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans.
Publicado: (1965)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
por: Hermes, Hans.
Publicado: (1961)

The Gödel programming language /
por: Hill, Patricia, 1942-
Publicado: (1994)

El universo de Gödel : la problemática de la consistencia y la lógica proposicional /
por: Smullyan, Raymond,
Publicado: (2024)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
por: Mostowski, Andrzej.
Publicado: (1952)

Gödel, Escher, Bach : ein endloses geflochtenes Band /
por: Hofstadter, Douglas R., 1945-
Publicado: (1986)

Proof in VDM : a practitioner's guide /
Publicado: (1994)

El teorema de Gödel /
por: Nagel, Ernest, 1901-1985.
Publicado: (1970)

Gödel, Escher, Bach : un eterno y grácil bucle /
por: Hofstadter, Douglas R., 1945-
Publicado: (2007)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
Publicado: (1965)

Reciprocity laws : from Euler to Eisenstein /
por: Lemmermeyer, Franz, 1962-
Publicado: (2000)

Existence theorems for ordinary differential equations /
por: Murray, Francis J. 1911-
Publicado: (1954)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Publicado: (1994)

Gems of theoretical computer science /
por: Schöning, Uwe, 1955-
Publicado: (1998)

13 lectures on Fermat's last theorem /
por: Ribenboim, Paulo.
Publicado: (1979)

Existence theorems for ordinary differential equations /
por: Murray, Francis J. 1911-
Publicado: (1976)

Heads or tails : an introduction to limit theorems in probability /
por: Lesigne, Emmanuel, 1956-
Publicado: (2005)

Polynomial completeness in algebraic systems /
por: Kaarli, Kalle.
Publicado: (2001)

Some limit theorems in statistics /
por: Bahadur, Raghu Raj, 1924-
Publicado: (1971)

Fermat's last theorem for amateurs /
por: Ribenboim, Paulo.
Publicado: (1999)

From Pythagoras to Einstein /
por: Friedrichs, K. O. 1901-
Publicado: (1965)

Logic programming : operational semantics and proof theory /
por: Andrews, James H.
Publicado: (1992)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
por: Bertot, Yves.
Publicado: (2004)

Limit theorems of probability theory /
Publicado: (1975)

Existence theorems in partial differential equations /
por: Bernstein, Dorothy Lewis, 1914-
Publicado: (1950)

Gödel
por: Goldstein, Rebecca.
Publicado: (2005)

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
por: Alonso, Enrique,
Publicado: (2007)

First-order logic and automated theorem proving /
por: Fitting, Melvin, 1942-
Publicado: (1996)

Automated practical reasoning : algebraic approaches /
Publicado: (1995)

Automated reasoning : introduction and applications /
Publicado: (1984)

Martingale limit theory and its application /
por: Hall, Peter, 1951-
Publicado: (1980)

The central limit theorem for real and Banach valued random variables /
por: Araujo, Aloisio, 1946-
Publicado: (1980)

Normal approximation and asymptotic expansions /
por: Bhattacharya, R. N. 1937-
Publicado: (1976)

Collected papers of Taro Morishima /
por: Morishima, Taro, 1903-1989.
Publicado: (1990)

Diophantus of Alexandria : a study in the history of Greek algebra /
por: Heath, Thomas Little, Sir, 1861-1940.
Publicado: (1964)

Fermat's last theorem : a genetic introduction to algebraic number theory /
por: Edwards, Harold M.
Publicado: (1977)