Cover Image

Theory of formal systems

Saved in:

Bibliographic Details
Main Author:	Smullyan, Raymond M (Author)
Format:	Book
Language:	English
Published:	Princeton Princeton University 1961
Series:	Annals of Mathematics Studies
Subjects:	Lógica matemática Metamatemáticas Teoría de números OPERADORES LOGICOS Algoritmos TEORIA LOGICA
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algoritmo de las particiones
by: Iommi Amunátegui, Godofredo Tomás
Published: (1985)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1997)

Théorie métamathématique des idéaux
by: Robinson, Abraham
Published: (1955)

L'aspect moderne des mathématiques
by: Félix, Lucienne
Published: (1957)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Understanding numeration systems
by: Johnson, Donovan A, et al.
Published: (1960)

Elements de la théorie mathématique des jeux
by: Guilbaud, G. T
Published: (1968)

Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory
by: Troelstra, A. S
Published: (1969)

Elementos de la metalógica y metamatemática
by: Stahl, Gerold
Published: (1964)

Metamatemática
by: Lorenzen, Paul
Published: (1971)

The mathematics of metamathematics
by: Rasiowa, Helena, et al.
Published: (1968)

Introduction to metamathematics
by: Kleene, Stephen Cole
Published: (1952)

Elementos de Metamatemática
by: Stahl, Gerold
Published: (1973)

Eléments de Mathématique: théorie des ensembles
by: Bourbaki, Nicolás
Published: (1970)

Algèbre et logique: d'après les textes originaux
by: Boole, George, et al.
Published: (1962)

Los principios de la matemática
by: Russell, Bertrand
Published: (1948)

Tableau systems for first order number theory and certain higher order theories
by: Toledo, Sue
Published: (1975)

Introduction to logic
by: Suppes, Patrick
Published: (1957)

The number sense: how the mind creates mathematics
by: Dehaene, Stanislas
Published: (2011)

Algoritmo de Boole
by: Iommi Amunátegui, Godofredo Tomás
Published: (1988)

Algoritmo de Weyl
by: Iommi Amunátegui, Godofredo Tomás
Published: (1987)

Numerical methods for scientists and engineers
by: Hamming, Richard Wesley
Published: (1973)

Algoritmo de Lagrange
by: Iommi Amunátegui, Godofredo Tomás
Published: (1984)

First-order logic
by: Smullyan, Raymond M
Published: (1995)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Las grandes corrientes del pensamiento matemático
by: Le Lionnais, Francois
Published: (1965)

Introduction to model theory and to the metamathematics of algebra
by: Robinson, Abraham
Published: (1965)

Estructuras matemáticas finitas
by: Kemeny, John G, et al.
Published: (1970)

Finite mathematical structures
by: Kemeny, John G, et al.
Published: (1959)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Published: (1970)

A theory of formal deducibility
by: Curry, Haskell B
Published: (1950)

Una aproximación a los números racionales positivos
by: Luque Arias, Carlos Julio, et al.
Published: (2001)

A modern introduction to basic mathematics
by: Keedy, Mervin L
Published: (1963)

Estructuras de datos y algoritmos
by: Hernández Berlinches, Roberto, et al.
Published: (2001)

On formally undecidable propositions of principia mathematica and related systems
by: Gödel, Kurt Friedrich
Published: (1992)

Lógica para ciencia de la computación
by: Bertossi D., Leopoldo
Published: (1995)

Handbook of algorithms and data structures
by: Gonnet, Gastón H
Published: (1984)

Analyse Mathématique
by: Godeaux, Lucien
Published: (1946)

Godel, Escher, Bach: un eterno y grácil bucle
by: Hofstadter, Douglas R
Published: (2010)

Matemáticas para computación
by: Lipschutz, Seymour
Published: (1988)