Sentences undecidable in formalized arithmetic : :: SCD d'Orléans

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Salvato in:

Dettagli Bibliografici
Autore principale:	Mostowski, Andrzej, 1913-1975
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Amsterdam : North-Holland Pub. Co. 1964.
Serie:	Studies in logic and the foundations of mathematics
Soggetti:	Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
di: Davis, Martin, 1928-2023, et al.
Pubblicazione: (1965)

Büchi's monadic second order successor arithmetic
di: Siefkes, Dirk

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
di: Berline, Chantal, mathématicienne

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp

Kurt Gödel philosopher-scientist
di: Crocco, Gabriella, 1963-, et al.
Pubblicazione: (2021)

Le théorème de Gödel
di: Nagel, Ernest, 1901-1985, philosophe, logicien, et al.
Pubblicazione: (1997)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
di: Bulloff, Jack J., 19..-

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
di: Bernays, Paul, 1888-1977, et al.
Pubblicazione: (1958)

Les théorèmes d'incomplétude de Gödel
di: Smullyan, Raymond Merrill, 1919-2017
Pubblicazione: (1993)

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Elements of mathematical logic
di: Novikov, Petr Sergeevich, 1901-1975
Pubblicazione: (1964)

Introduction à la logique mathématique
di: Novikov, Petr Sergeevich, 1901-1975
Pubblicazione: (1964)

Notes on logic
di: Lyndon, Roger Conant, 1917-1988
Pubblicazione: (1966)

Introduction à la logique
di: Rivenc, François, 1945-
Pubblicazione: (1989)

Méthodes de logique
di: Quine, Willard Van Orman, 1908-2000, philosophe
Pubblicazione: (1973)

Logique sans peine
di: Carroll, Lewis, 1832-1898
Pubblicazione: (1966)

Mais c'est logique ! : maîtriser la logique pour devenir un as des maths, dès 10 ans
di: Fabian Montabert, Andrea, 1975-
Pubblicazione: (2025)

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Undecidable theories
di: Tarski, Alfred, 1901-1983
Pubblicazione: (1971)

Solvable cases of the decision problem
di: Ackermann, Wilhelm, 1896-1962
Pubblicazione: (1954)

Cinq conférences sur l'indécidabilité
di: Bouleau, Nicolas, 1945-, et al.
Pubblicazione: (1983)

Eine Termlogik mit Auswahloperator
di: Hermes, Hans, 1912-2003

Model theory
di: Chang, Chen Chung, 1927-2014, et al.
Pubblicazione: (1973)

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

An introduction to modal logic
di: Hughes, George Edward, 1918-, et al.
Pubblicazione: (1968)

A concise introduction to mathematical logic
di: Rautenberg, Wolfgang, 1936-

A theory of sets
di: Morse, Anthony Perry, 1911-1984, mathématicien
Pubblicazione: (1965)

Set theory and logic
di: Fraenkel, Abraham Adolf, 1891-1965
Pubblicazione: (1966)

Proof Theory : An Introduction
di: Pohlers, Wolfram

A mathematical introduction to logic
di: Enderton, Herbert, 1936-2010
Pubblicazione: (1972)

Modal logics
di: Feys, Robert, 1889-1961
Pubblicazione: (1965)

Recursive function theory and logic
di: Yasuhara, Ann Harris, 1932-2014
Pubblicazione: (1971)

Completeness Theory for Propositional Logics
di: Pogorzelski, Witold A., 1927-, et al.

Formalized Mathematics.
Pubblicazione: (1990)

Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques
di: Ladrière, Jean, 1921-2007
Pubblicazione: (1992)

Introduction à la logique
di: Delessert, André, 1923-2010
Pubblicazione: (1988)

Admissible sets and structures : an approach to definability theory
di: Barwise, Jon, 1942-2000
Pubblicazione: (1975)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
di: Cori, René, et al.
Pubblicazione: (1993)

Institution-independent Model Theory
di: Diaconescu, Răzvan, 1964-
Pubblicazione: (2008)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales