Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Sentences undecidable in forma...
Similar Items
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Bibliographic Details
Main Author:
Mostowski, Andrzej
(Author, Autor/a)
Format:
Book
Language:
English
Published:
Amsterdam :
North-Holland Pub. Co.,
1964.
Subjects:
LOGICA, SIMBOLICA Y MATEMATICA
SEMANTICA (FILOSOFIA)
TEOREMA DE GODEL
Holdings
Description
Similar Items
Staff View
Similar Items
Undecidable theories /
by: Tarski, Alfred, et al.
Published: (1953)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
by: Mostowski, Andrzej, et al.
Published: (1966)
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)
El teorema de Gödel /
by: Nagel, Ernest n. 1901
Published: (2007)
La prueba de Gödel /
by: Newman, James Roy 1907-, et al.
Published: (1959)
El Teorema de Godel
by: Nagel, Ernest
Published: (1970)
Extensional Godel functional interpretation : a consistency proof of classical analysis.
by: Luckhardt, Horst, et al.
Published: (1964)
On Gödel /
by: Hintikka, Jaakko 1929-, et al.
Published: (2000)
The Philosophical significance of Goedel's theorem
by: Dummett, Michael 1925-2011, et al.
Published: (1963)
El teorema del Godel / Ernest Nagel y James R. Newman
by: Nagel, Ernest
Sistemas formales, informalmente : ¿Porqué intentaron formalizar a la matemática si era tan buena la muchacha?
by: Gómez, Pedro
Published: (1995)
Aporte de Kurt Gödel a la matemática : los teoremas de incompletitud /
by: Rivera, Leonela
Published: (2023)
La Matemática Godeliana y sus implicaciones filosóficas
by: Korner, Stephan 1913-
Published: (1972)
El teorema de Goedel /
by: Díaz Estévez, Emilio, et al.
Published: (1975)
Introduction to semantics, and Formalization of logic /
by: Carnap, Rudolf 1891-1970
Published: (1959)
Implicaciones teórico-filosóficas del teorema de Goedel en el paradigma racionalista de la reflexión sobre las matemáticas /
by: Ruiz Zúñiga, Angel 1954-
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans, et al.
Published: (1985)
Constructible Sets with Applications / A. Mostowski
by: Mostowski, A.
Metamathematical investigation of intuitionistic arithmetic and analysis
by: Troelstra, Anne Sjerp 1939-
Published: (1964)
Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
by: Beth, Evert Willem, et al.
Published: (1962)
Logic, semantics, metamathematics : papers from 1923 to 1938
by: Tarski, Alfred, et al.
Published: (1956)
Meaning and necessity : a study in semantics and modal logic /
by: Carnap, Rudolf 1891 - 1970, et al.
Published: (1958)
Ensayos de semántica y filosofía de la lógica /
by: Frege, Gottlob 1848-1925, et al.
Published: (1998)
Estudios sobre semántica
by: Frege, Gottlob, 1848-1925
Published: (1973)
A tour through mathematical logic /
by: Wolf, Robert S., et al.
Published: (2005)
Heidegger y la lógica simbólica /
by: Borgmann, Albert 1937-
Ordenadores y números naturales /
by: Rayo, Agustín
Formal logic : its scope and limits
by: Jeffrey, Richard C., et al.
Published: (1967)
Word and object
by: Quine, Willard Van Orman, et al.
Published: (1960)
Logic techniques of formal reasoning /
by: Kalish, Donald, et al.
Published: (1964)
Mathematical interpretation of formal systems /
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1971)
Mathematical interpretation of formal systems /
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1955)
Lógica formal lógica dialéctica /
by: Lefebvre, Henri
Published: (1978)
Escritos filosóficos /
by: Frege, Gottlob 1848-1925, et al.
Published: (1996)
Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)
Undecidable theories
by: Tarski, Alfred
Published: (1953)
Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
by: Piza Volio, Eduardo 1955-
Frege and Gödel : two fundamental texts in mathematical logic /
Published: (1971)
La lógica formal
by: Virieux-Reymond, Antoinette
Published: (1976)
Similar Items
Undecidable theories /
by: Tarski, Alfred, et al.
Published: (1953)
The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
by: Mostowski, Andrzej, et al.
Published: (1966)
A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)
El teorema de Gödel /
by: Nagel, Ernest n. 1901
Published: (2007)
×
Loading...