Imaxe de Portada

Theory of formal systems

Gardado en:

Detalles Bibliográficos
Autor Principal:	Smullyan, Raymond M (Author)
Formato:	Libro
Idioma:	inglés
Publicado:	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:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

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

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

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

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

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

Understanding numeration systems
por: Johnson, Donovan A, et al.
Publicado: (1960)

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

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

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

Metamatemática
por: Lorenzen, Paul
Publicado: (1971)

The mathematics of metamathematics
por: Rasiowa, Helena, et al.
Publicado: (1968)

Introduction to metamathematics
por: Kleene, Stephen Cole
Publicado: (1952)

Elementos de Metamatemática
por: Stahl, Gerold
Publicado: (1973)

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

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

Los principios de la matemática
por: Russell, Bertrand
Publicado: (1948)

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

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

The number sense: how the mind creates mathematics
por: Dehaene, Stanislas
Publicado: (2011)

Algoritmo de Boole
por: Iommi Amunátegui, Godofredo Tomás
Publicado: (1988)

Algoritmo de Weyl
por: Iommi Amunátegui, Godofredo Tomás
Publicado: (1987)

Numerical methods for scientists and engineers
por: Hamming, Richard Wesley
Publicado: (1973)

Algoritmo de Lagrange
por: Iommi Amunátegui, Godofredo Tomás
Publicado: (1984)

First-order logic
por: Smullyan, Raymond M
Publicado: (1995)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

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

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

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

Finite mathematical structures
por: Kemeny, John G, et al.
Publicado: (1959)

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

A theory of formal deducibility
por: Curry, Haskell B
Publicado: (1950)

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

A modern introduction to basic mathematics
por: Keedy, Mervin L
Publicado: (1963)

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

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

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

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

Analyse Mathématique
por: Godeaux, Lucien
Publicado: (1946)

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

Matemáticas para computación
por: Lipschutz, Seymour
Publicado: (1988)