Kapak Resmi

An algebraic introduction to mathematical logic

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Barnes, Donald W (Yazar), Mack, John M (Yazar)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Nueva York Springer-Verlag 1975
Seri Bilgileri:	Graduate Texts in Mathematics, 22
Konular:	Lógica matemática Lógica simbólica LOGICA ALGEBRAICA MAQUINAS DE TURING Matemática
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Sur les algèbres de Hilbert
Yazar:: Diego, Antonio
Baskı/Yayın Bilgisi: (1966)

Popular lectures on mathematical logic
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1993)

Logic colloquium
Yazar:: Parikh, Rohit
Baskı/Yayın Bilgisi: (1975)

Methods in mathematical logic
Yazar:: Prisco, C. A. di
Baskı/Yayın Bilgisi: (1985)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Baskı/Yayın Bilgisi: (1965)

Pruebas y refutaciones: la lógica del descubrimiento matemático
Yazar:: Lakatos, Imre
Baskı/Yayın Bilgisi: (1982)

Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1970)

Lógica simbólica para informáticos
Yazar:: Iranzo, Pascual Julián
Baskı/Yayın Bilgisi: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Yazar:: Ledesma, Luis de
Baskı/Yayın Bilgisi: (2010)

Lógica para informáticos
Yazar:: Farré Cirera, Rafel, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Algebra and logic
Yazar:: Crossley, J. N
Baskı/Yayın Bilgisi: (1975)

Introduction to mathematical logic
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1997)

Lógica matemática.
Yazar:: Ferrater Mora, José
Baskı/Yayın Bilgisi: (1962)

An introduction to Hilbert space and quantum logic
Yazar:: Cohen, David W
Baskı/Yayın Bilgisi: (1989)

La structure algébrique des théories mathématiques
Yazar:: Henkin, Leon
Baskı/Yayın Bilgisi: (1956)

La lógica simbólica
Yazar:: Agazzi, Evandro
Baskı/Yayın Bilgisi: (1986)

La logique à l'école
Yazar:: Glaymann, Maurice, ve diğerleri
Baskı/Yayın Bilgisi: (1972)

A course in mathematical logic
Yazar:: Manin, Yuri Ivanovich
Baskı/Yayın Bilgisi: (1977)

Mathematical Logic
Yazar:: Monk, James Donald
Baskı/Yayın Bilgisi: (1976)

Teaching mathematical reasoning in secondary school classrooms
Yazar:: Brodie, Karin
Baskı/Yayın Bilgisi: (2010)

Algebraic logic
Yazar:: Halmos, Paul Richard
Baskı/Yayın Bilgisi: (1962)

Introducción al simbolismo lógico
Yazar:: Bosch, Jorge E
Baskı/Yayın Bilgisi: (1981)

Modal logics
Yazar:: Feys, Robert
Baskı/Yayın Bilgisi: (1965)

Introduction to mathematical logic
Yazar:: Mendelson, Elliott
Baskı/Yayın Bilgisi: (1964)

Los fundamentos de la matemática y otros ensayos sobre lógica
Yazar:: Ramsey, Frank Plumpton
Baskı/Yayın Bilgisi: (1968)

The grammar of mathematics
Yazar:: Durst, Lincoln K
Baskı/Yayın Bilgisi: (1969)

Symbolic logic and language: a programmed text
Yazar:: Dickoff, James, ve diğerleri
Baskı/Yayın Bilgisi: (1965)

Manual de lógica para estudiantes de matemáticas
Yazar:: Zubieta Russi, Gonzalo
Baskı/Yayın Bilgisi: (1971)

Eléments de logique mathématique: théorie des modèles
Yazar:: Kreisel, G, ve diğerleri
Baskı/Yayın Bilgisi: (1966)

Introduction a la logique mathématique
Yazar:: Novikov, P. S. (Petr Sergeevich)
Baskı/Yayın Bilgisi: (1964)

Lógica formal: su alcance y sus límites.
Yazar:: Jeffrey, Richard C.
Baskı/Yayın Bilgisi: (1986)

Introduction to Mathematical Logic
Yazar:: Dinkines, Flora
Baskı/Yayın Bilgisi: (1964)

Lógica combinatoria
Yazar:: Curry, Haskell B, ve diğerleri
Baskı/Yayın Bilgisi: (1967)

Lógica simbólica: una breve introducción
Yazar:: Gómez Calderón, Javier
Baskı/Yayın Bilgisi: (1979)

Finite mathematics
Yazar:: Campbell, Hugh G, ve diğerleri
Baskı/Yayın Bilgisi: (1974)

The logical basis for computer programming
Yazar:: Manna, Zohar, ve diğerleri
Baskı/Yayın Bilgisi: (1985)

Lógica, lingüística y matemáticas
Yazar:: Serrano, Sebastián
Baskı/Yayın Bilgisi: (1977)

Logic, computers, and sets
Yazar:: Wang, Hao
Baskı/Yayın Bilgisi: (1970)

Ordinal algebras
Yazar:: Tarski, Alfred
Baskı/Yayın Bilgisi: (1956)

Mathematical logic
Yazar:: Shoenfield, Joseph R
Baskı/Yayın Bilgisi: (1967)