Loading…

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Mostowski, Andrzej
Format:	Electronic eBook
Language:	Inglés
Published:	Dordrecht : Elsevier Science, 1952.
Series:	Studies in logic and the foundations of mathematics ; v. 10.
Subjects:	Logic, Symbolic and mathematical. Semantics (Philosophy) G�odel's theorem. Logique symbolique et math�ematique. S�emantique (Philosophie) Th�eor�eme de G�odel.
Online Access:	Texto completo Texto completo Texto completo

Similar Items

Undecidable theories /
Published: (1953)

Word problems II : the Oxford book /
Published: (1980)

The logical systems of Lesniewski.
by: Luschei, Eugene C.
Published: (1962)

Routley-Meyer ternary relational semantics for intuitionistic-type negations /
by: Robles, Gemma, et al.
Published: (2018)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Published: (1973)

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang, 1937-, et al.
Published: (1973)

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
Published: (1993)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Published: (1982)

Formal systems and recursive functions /
Published: (1965)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Published: (1986)

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Published: (1986)

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
Published: (1982)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Published: (1973)

The theory of models proceedings.
Published: (1965)

The axiomatic method /
Published: (1959)

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Published: (1970)

A computational logic /
by: Boyer, Robert S., et al.
Published: (1979)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Published: (1984)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Published: (1967)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)

From Peirce to Skolem : a neglected chapter in the history of logic /
by: Brady, Geraldine
Published: (2000)

Reflective optics /
by: Korsch, Dietrich
Published: (1991)

Gene manipulations in fungi /
Published: (1985)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Logic, methodology and philosophy of science : proceedings of the 1960 international congress /
Published: (1966)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Biomedical defense principles to counter DNA deep hacking /
by: Termanini, Rocky
Published: (2023)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 /
Published: (1994)

Modeling in geotechnical engineering /
Published: (2021)

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Published: (1978)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)

Interaction of translational and transcriptional controls in the regulation of gene expression : proceedings of the Fogarty International Conference on Translational/Transcriptional Regulation of Gene Expression, held at the National Institute of Health, Bethesda, Maryland, U.S.A., on April 7-9, 1982 /
Published: (1982)

Cannot write session to /tmp/vufind_sessions/sess_oddib3p775liaf6voohqlh0qqs