Imatge de la portada

Theory of formal systems

Guardat en:

Dades bibliogràfiques
Autor principal:	Smullyan, Raymond M (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Princeton Princeton University 1961
Col·lecció:	Annals of Mathematics Studies
Matèries:	Lógica matemática Metamatemáticas Teoría de números OPERADORES LOGICOS Algoritmos TEORIA LOGICA
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1997)

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

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

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1964)

Understanding numeration systems
per: Johnson, Donovan A, et al.
Publicat: (1960)

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

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

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

Metamatemática
per: Lorenzen, Paul
Publicat: (1971)

The mathematics of metamathematics
per: Rasiowa, Helena, et al.
Publicat: (1968)

Introduction to metamathematics
per: Kleene, Stephen Cole
Publicat: (1952)

Elementos de Metamatemática
per: Stahl, Gerold
Publicat: (1973)

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

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

Los principios de la matemática
per: Russell, Bertrand
Publicat: (1948)

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

Introduction to logic
per: Suppes, Patrick
Publicat: (1957)

The number sense: how the mind creates mathematics
per: Dehaene, Stanislas
Publicat: (2011)

Algoritmo de Boole
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1988)

Algoritmo de Weyl
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1987)

Numerical methods for scientists and engineers
per: Hamming, Richard Wesley
Publicat: (1973)

Algoritmo de Lagrange
per: Iommi Amunátegui, Godofredo Tomás
Publicat: (1984)

First-order logic
per: Smullyan, Raymond M
Publicat: (1995)

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

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

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

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

Finite mathematical structures
per: Kemeny, John G, et al.
Publicat: (1959)

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

A theory of formal deducibility
per: Curry, Haskell B
Publicat: (1950)

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

A modern introduction to basic mathematics
per: Keedy, Mervin L
Publicat: (1963)

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

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

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

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

Analyse Mathématique
per: Godeaux, Lucien
Publicat: (1946)

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

Matemáticas para computación
per: Lipschutz, Seymour
Publicat: (1988)