Ảnh bìa

A course in mathematical logic

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Manin, Yuri Ivanovich (autor)
Định dạng:	Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Nueva York Springer-Verlag 1977
Loạt:	Graduate Texts in Mathematics, 53
Những chủ đề:	Lógica matemática Lógica simbólica PROVABILIDAD COMPUTABILIDAD
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Popular lectures on mathematical logic
Bằng: Wang, Hao
Được phát hành: (1993)

Logic colloquium
Bằng: Parikh, Rohit
Được phát hành: (1975)

Methods in mathematical logic
Bằng: Prisco, C. A. di
Được phát hành: (1985)

Introducción al simbolismo lógico
Bằng: Bosch, Jorge E
Được phát hành: (1970)

Lógica simbólica para informáticos
Bằng: Iranzo, Pascual Julián
Được phát hành: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Bằng: Ledesma, Luis de
Được phát hành: (2010)

Lógica para informáticos
Bằng: Farré Cirera, Rafel, et al.
Được phát hành: (2012)

Logic, computers, and sets
Bằng: Wang, Hao
Được phát hành: (1970)

Introduction to mathematical logic
Bằng: Mendelson, Elliott
Được phát hành: (1997)

Pruebas y refutaciones: la lógica del descubrimiento matemático
Bằng: Lakatos, Imre
Được phát hành: (1982)

La logique à l'école
Bằng: Glaymann, Maurice, et al.
Được phát hành: (1972)

An algebraic introduction to mathematical logic
Bằng: Barnes, Donald W, et al.
Được phát hành: (1975)

Mathematical Logic
Bằng: Monk, James Donald
Được phát hành: (1976)

Algebra and logic
Bằng: Crossley, J. N
Được phát hành: (1975)

An introduction to Hilbert space and quantum logic
Bằng: Cohen, David W
Được phát hành: (1989)

Modal logics
Bằng: Feys, Robert
Được phát hành: (1965)

Teaching mathematical reasoning in secondary school classrooms
Bằng: Brodie, Karin
Được phát hành: (2010)

Sur les algèbres de Hilbert
Bằng: Diego, Antonio
Được phát hành: (1966)

Introducción al simbolismo lógico
Bằng: Bosch, Jorge E
Được phát hành: (1981)

Lógica matemática.
Bằng: Ferrater Mora, José
Được phát hành: (1962)

The grammar of mathematics
Bằng: Durst, Lincoln K
Được phát hành: (1969)

La structure algébrique des théories mathématiques
Bằng: Henkin, Leon
Được phát hành: (1956)

Symbolic logic and language: a programmed text
Bằng: Dickoff, James, et al.
Được phát hành: (1965)

Computability and unsolvability
Bằng: Davis, Martin
Được phát hành: (1982)

La lógica simbólica
Bằng: Agazzi, Evandro
Được phát hành: (1986)

Introduction to mathematical logic
Bằng: Mendelson, Elliott
Được phát hành: (1964)

Eléments de logique mathématique: théorie des modèles
Bằng: Kreisel, G, et al.
Được phát hành: (1966)

Lógica formal: su alcance y sus límites.
Bằng: Jeffrey, Richard C.
Được phát hành: (1986)

Lógica combinatoria
Bằng: Curry, Haskell B, et al.
Được phát hành: (1967)

Los fundamentos de la matemática y otros ensayos sobre lógica
Bằng: Ramsey, Frank Plumpton
Được phát hành: (1968)

Introduction a la logique mathématique
Bằng: Novikov, P. S. (Petr Sergeevich)
Được phát hành: (1964)

The logical basis for computer programming
Bằng: Manna, Zohar, et al.
Được phát hành: (1985)

Lógica simbólica: una breve introducción
Bằng: Gómez Calderón, Javier
Được phát hành: (1979)

Manual de lógica para estudiantes de matemáticas
Bằng: Zubieta Russi, Gonzalo
Được phát hành: (1971)

Lógica, lingüística y matemáticas
Bằng: Serrano, Sebastián
Được phát hành: (1977)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Được phát hành: (1965)

Studies in foundations and combinatorics
Bằng: Rota, Gian-Carlo
Được phát hành: (1978)

Lógica para lingüistas
Bằng: Allwood, Jens, et al.
Được phát hành: (1981)

Lógica simbólica
Bằng: Hegenberg, Leónidas
Được phát hành: (1966)

Introduction to Mathematical Logic
Bằng: Dinkines, Flora
Được phát hành: (1964)