Εξώφυλλο

A course in mathematical logic

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Manin, Yuri Ivanovich (autor)
Μορφή:	Βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Nueva York Springer-Verlag 1977
Σειρά:	Graduate Texts in Mathematics, 53
Θέματα:	Lógica matemática Lógica simbólica PROVABILIDAD COMPUTABILIDAD
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Popular lectures on mathematical logic
από: Wang, Hao
Έκδοση: (1993)

Logic colloquium
από: Parikh, Rohit
Έκδοση: (1975)

Methods in mathematical logic
από: Prisco, C. A. di
Έκδοση: (1985)

Introducción al simbolismo lógico
από: Bosch, Jorge E
Έκδοση: (1970)

Lógica simbólica para informáticos
από: Iranzo, Pascual Julián
Έκδοση: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
από: Ledesma, Luis de
Έκδοση: (2010)

Lógica para informáticos
από: Farré Cirera, Rafel, κ.ά.
Έκδοση: (2012)

Logic, computers, and sets
από: Wang, Hao
Έκδοση: (1970)

Introduction to mathematical logic
από: Mendelson, Elliott
Έκδοση: (1997)

Pruebas y refutaciones: la lógica del descubrimiento matemático
από: Lakatos, Imre
Έκδοση: (1982)

La logique à l'école
από: Glaymann, Maurice, κ.ά.
Έκδοση: (1972)

An algebraic introduction to mathematical logic
από: Barnes, Donald W, κ.ά.
Έκδοση: (1975)

Mathematical Logic
από: Monk, James Donald
Έκδοση: (1976)

Algebra and logic
από: Crossley, J. N
Έκδοση: (1975)

An introduction to Hilbert space and quantum logic
από: Cohen, David W
Έκδοση: (1989)

Modal logics
από: Feys, Robert
Έκδοση: (1965)

Teaching mathematical reasoning in secondary school classrooms
από: Brodie, Karin
Έκδοση: (2010)

Sur les algèbres de Hilbert
από: Diego, Antonio
Έκδοση: (1966)

Introducción al simbolismo lógico
από: Bosch, Jorge E
Έκδοση: (1981)

Lógica matemática.
από: Ferrater Mora, José
Έκδοση: (1962)

The grammar of mathematics
από: Durst, Lincoln K
Έκδοση: (1969)

La structure algébrique des théories mathématiques
από: Henkin, Leon
Έκδοση: (1956)

Symbolic logic and language: a programmed text
από: Dickoff, James, κ.ά.
Έκδοση: (1965)

Computability and unsolvability
από: Davis, Martin
Έκδοση: (1982)

La lógica simbólica
από: Agazzi, Evandro
Έκδοση: (1986)

Introduction to mathematical logic
από: Mendelson, Elliott
Έκδοση: (1964)

Eléments de logique mathématique: théorie des modèles
από: Kreisel, G, κ.ά.
Έκδοση: (1966)

Lógica formal: su alcance y sus límites.
από: Jeffrey, Richard C.
Έκδοση: (1986)

Lógica combinatoria
από: Curry, Haskell B, κ.ά.
Έκδοση: (1967)

Los fundamentos de la matemática y otros ensayos sobre lógica
από: Ramsey, Frank Plumpton
Έκδοση: (1968)

Introduction a la logique mathématique
από: Novikov, P. S. (Petr Sergeevich)
Έκδοση: (1964)

The logical basis for computer programming
από: Manna, Zohar, κ.ά.
Έκδοση: (1985)

Lógica simbólica: una breve introducción
από: Gómez Calderón, Javier
Έκδοση: (1979)

Manual de lógica para estudiantes de matemáticas
από: Zubieta Russi, Gonzalo
Έκδοση: (1971)

Lógica, lingüística y matemáticas
από: Serrano, Sebastián
Έκδοση: (1977)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Έκδοση: (1965)

Studies in foundations and combinatorics
από: Rota, Gian-Carlo
Έκδοση: (1978)

Lógica para lingüistas
από: Allwood, Jens, κ.ά.
Έκδοση: (1981)

Lógica simbólica
από: Hegenberg, Leónidas
Έκδοση: (1966)

Introduction to Mathematical Logic
από: Dinkines, Flora
Έκδοση: (1964)