Mathematical interpretation of formal systems

Código QR

Mathematical interpretation of formal systems

Detalles Bibliográficos
Otros Autores:	Skolem, T. H.
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam North-Holland 1955
Materias:	LÓGICA MATEMÁTICA

Ejemplares similares

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1955)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1971)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

Sistemas formales, informalmente : ¨Por qué intentaron formalizar a la matemática si era tan buena muchacha? /
por: Gómez, Pedro
Publicado: (1995)

Mathematical logic /
por: Quine, Willard Van Orman
Publicado: (1961)

Mathematical logic /
por: Monk, James Donald, 1930-
Publicado: (1976)

Introduction to mathematical logic /
por: Hermes, Hans
Publicado: (1973)

Mathematical logic and the foundations of mathematics an introductory survey
por: Kneebone, G. T.
Publicado: (1963)

Handbook of mathematical logic
por: Barwise, Jon
Publicado: (1977)

Fundamentos matemáticos de la lógica formal
por: Sánchez-Mazas, Miguel
Publicado: (1963)

Fundamentos matemáticos de la lógica formal /
por: Sánchez-Mazas, Miguel
Publicado: (1963)

A Course in mathematical logic
por: Bell, John Lane
Publicado: (1977)

A precis of mathematical logic /
por: Bochenski, J.M., 1902-
Publicado: (1959)

An algebraic introduction to mathematical logic /
por: Barnes, Donald W
Publicado: (1975)

Modern mathematics : an introduction /
por: Altwerger, Samuel I.
Publicado: (1960)

Meaning and existence in mathematics /
por: Castonguay, Charles
Publicado: (1972)

Formal logic : its scope and limits
por: Jeffrey, Richard C., et al.
Publicado: (1967)

Mathematical logic and the foundation of mathematics: an introductory survey
por: Kneebone, G.T.
Publicado: (1963)

The anatomy of mathematics /
por: Kershner, Richard Brandon 1913-1982
Publicado: (1950)

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

Logic in elementary mathematics
por: Exner, Robert M.
Publicado: (1959)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1964)

Dictionary of simbols of mathematical logic
por: Feys, Robert
Publicado: (1969)

Mathematics and logic : retrospect and prospects /
por: Kac, Mark, et al.
Publicado: (1969)

Logic techniques of formal reasoning /
por: Kalish, Donald, et al.
Publicado: (1964)

Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem, et al.
Publicado: (1962)

A mathematical introduction to logic /
por: Enderton, Herbert B., 1936-2010,
Publicado: (2001)

Lógica formal lógica dialéctica /
por: Lefebvre, Henri
Publicado: (1978)

Discrete mathematics and induction to proofs and combinatory
por: Ferland, Kevin
Publicado: (2009)

Topics in contemporary mathematics
por: Bello, Ignacio, et al.
Publicado: (2008)

Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
por: Piza Volio, Eduardo 1955-

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1981)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Mathematical logic
por: Klenne, Stephen Cole
Publicado: (1967)

A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010)

Mathematical logic and foundations of set theory proceedings of an international colloquium
Publicado: (1970)

Logic in Elementary Mathematics /
por: Exner, Robert M.
Publicado: (1959)