Зображення обкладинки

Theory of formal systems

Збережено в:

Бібліографічні деталі
Автор:	Smullyan, Raymond M (Автор)
Формат:	Книга
Мова:	Англійська
Опубліковано:	Princeton Princeton University 1961
Серія:	Annals of Mathematics Studies
Предмети:	Lógica matemática Metamatemáticas Teoría de números OPERADORES LOGICOS Algoritmos TEORIA LOGICA
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Algoritmo de las particiones
за авторством: Iommi Amunátegui, Godofredo Tomás
Опубліковано: (1985)

Introduction to mathematical logic
за авторством: Mendelson, Elliott
Опубліковано: (1997)

Théorie métamathématique des idéaux
за авторством: Robinson, Abraham
Опубліковано: (1955)

L'aspect moderne des mathématiques
за авторством: Félix, Lucienne
Опубліковано: (1957)

Introduction to mathematical logic
за авторством: Mendelson, Elliott
Опубліковано: (1964)

Understanding numeration systems
за авторством: Johnson, Donovan A, та інші
Опубліковано: (1960)

Elements de la théorie mathématique des jeux
за авторством: Guilbaud, G. T
Опубліковано: (1968)

Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory
за авторством: Troelstra, A. S
Опубліковано: (1969)

Elementos de la metalógica y metamatemática
за авторством: Stahl, Gerold
Опубліковано: (1964)

Metamatemática
за авторством: Lorenzen, Paul
Опубліковано: (1971)

The mathematics of metamathematics
за авторством: Rasiowa, Helena, та інші
Опубліковано: (1968)

Introduction to metamathematics
за авторством: Kleene, Stephen Cole
Опубліковано: (1952)

Elementos de Metamatemática
за авторством: Stahl, Gerold
Опубліковано: (1973)

Eléments de Mathématique: théorie des ensembles
за авторством: Bourbaki, Nicolás
Опубліковано: (1970)

Algèbre et logique: d'après les textes originaux
за авторством: Boole, George, та інші
Опубліковано: (1962)

Los principios de la matemática
за авторством: Russell, Bertrand
Опубліковано: (1948)

Tableau systems for first order number theory and certain higher order theories
за авторством: Toledo, Sue
Опубліковано: (1975)

Introduction to logic
за авторством: Suppes, Patrick
Опубліковано: (1957)

The number sense: how the mind creates mathematics
за авторством: Dehaene, Stanislas
Опубліковано: (2011)

Algoritmo de Boole
за авторством: Iommi Amunátegui, Godofredo Tomás
Опубліковано: (1988)

Algoritmo de Weyl
за авторством: Iommi Amunátegui, Godofredo Tomás
Опубліковано: (1987)

Numerical methods for scientists and engineers
за авторством: Hamming, Richard Wesley
Опубліковано: (1973)

Algoritmo de Lagrange
за авторством: Iommi Amunátegui, Godofredo Tomás
Опубліковано: (1984)

First-order logic
за авторством: Smullyan, Raymond M
Опубліковано: (1995)

First-order logic
за авторством: Smullyan, Raymond M
Опубліковано: (1968)

Las grandes corrientes del pensamiento matemático
за авторством: Le Lionnais, Francois
Опубліковано: (1965)

Introduction to model theory and to the metamathematics of algebra
за авторством: Robinson, Abraham
Опубліковано: (1965)

Estructuras matemáticas finitas
за авторством: Kemeny, John G, та інші
Опубліковано: (1970)

Finite mathematical structures
за авторством: Kemeny, John G, та інші
Опубліковано: (1959)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Опубліковано: (1970)

A theory of formal deducibility
за авторством: Curry, Haskell B
Опубліковано: (1950)

Una aproximación a los números racionales positivos
за авторством: Luque Arias, Carlos Julio, та інші
Опубліковано: (2001)

A modern introduction to basic mathematics
за авторством: Keedy, Mervin L
Опубліковано: (1963)

Estructuras de datos y algoritmos
за авторством: Hernández Berlinches, Roberto, та інші
Опубліковано: (2001)

On formally undecidable propositions of principia mathematica and related systems
за авторством: Gödel, Kurt Friedrich
Опубліковано: (1992)

Lógica para ciencia de la computación
за авторством: Bertossi D., Leopoldo
Опубліковано: (1995)

Handbook of algorithms and data structures
за авторством: Gonnet, Gastón H
Опубліковано: (1984)

Analyse Mathématique
за авторством: Godeaux, Lucien
Опубліковано: (1946)

Godel, Escher, Bach: un eterno y grácil bucle
за авторством: Hofstadter, Douglas R
Опубліковано: (2010)

Matemáticas para computación
за авторством: Lipschutz, Seymour
Опубліковано: (1988)