Ảnh bìa

Introduction to mathematical logic

Hiển thị phiên bản (1) khác

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Mendelson, Elliott (autor)
Định dạng:	Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Boca Ratón CRC 1997 Boca Ratón Chapman & Hall 1997
Phiên bản:	4a. ed
Những chủ đề:	Lógica matemática Teoría de conjuntos Lógica simbólica Teoría de números Algoritmos
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ự

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

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

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

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

Introduction to logic
Bằng: Suppes, Patrick
Được phát hành: (1957)

Logic colloquium
Bằng: Parikh, Rohit
Đượ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)

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

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

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

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

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

Algoritmo de las particiones
Bằng: Iommi Amunátegui, Godofredo Tomás
Đượ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)

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

Set theory and logic
Bằng: Stoll, Robert R
Được phát hành: (1963)

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

Set theory and logic
Bằng: Fraenkel, Abraham Adolf
Được phát hành: (1966)

Eléments de Mathématique: théorie des ensembles
Bằng: Bourbaki, Nicolás
Được phát hành: (1970)

Introduction to mathematical ideas
Bằng: Crowdis, David G, et al.
Được phát hành: (1969)

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

A course in mathematical logic
Bằng: Manin, Yuri Ivanovich
Được phát hành: (1977)

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

Tableau systems for first order number theory and certain higher order theories
Bằng: Toledo, Sue
Được phát hành: (1975)

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

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

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Được phát hành: (1970)

First-order logic
Bằng: Smullyan, Raymond M
Được phát hành: (1995)

First-order logic
Bằng: Smullyan, Raymond M
Được phát hành: (1968)

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

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

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 matemática.
Bằng: Ferrater Mora, José
Được phát hành: (1962)

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

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

Conference in Mathematical logic, London 70
Bằng: Hodges, Wilfrid
Được phát hành: (1972)

A precis of mathematical logic
Bằng: Bochénski, Innocentius M
Được phát hành: (1959)