Buchumschlag

A course in mathematical logic

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Manin, Yuri Ivanovich (autor)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Nueva York Springer-Verlag 1977
Schriftenreihe:	Graduate Texts in Mathematics, 53
Schlagworte:	Lógica matemática Lógica simbólica PROVABILIDAD COMPUTABILIDAD
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Popular lectures on mathematical logic
von: Wang, Hao
Veröffentlicht: (1993)

Logic colloquium
von: Parikh, Rohit
Veröffentlicht: (1975)

Methods in mathematical logic
von: Prisco, C. A. di
Veröffentlicht: (1985)

Introducción al simbolismo lógico
von: Bosch, Jorge E
Veröffentlicht: (1970)

Lógica simbólica para informáticos
von: Iranzo, Pascual Julián
Veröffentlicht: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
von: Ledesma, Luis de
Veröffentlicht: (2010)

Lógica para informáticos
von: Farré Cirera, Rafel, et al.
Veröffentlicht: (2012)

Logic, computers, and sets
von: Wang, Hao
Veröffentlicht: (1970)

Introduction to mathematical logic
von: Mendelson, Elliott
Veröffentlicht: (1997)

Pruebas y refutaciones: la lógica del descubrimiento matemático
von: Lakatos, Imre
Veröffentlicht: (1982)

La logique à l'école
von: Glaymann, Maurice, et al.
Veröffentlicht: (1972)

An algebraic introduction to mathematical logic
von: Barnes, Donald W, et al.
Veröffentlicht: (1975)

Mathematical Logic
von: Monk, James Donald
Veröffentlicht: (1976)

Algebra and logic
von: Crossley, J. N
Veröffentlicht: (1975)

An introduction to Hilbert space and quantum logic
von: Cohen, David W
Veröffentlicht: (1989)

Modal logics
von: Feys, Robert
Veröffentlicht: (1965)

Teaching mathematical reasoning in secondary school classrooms
von: Brodie, Karin
Veröffentlicht: (2010)

Sur les algèbres de Hilbert
von: Diego, Antonio
Veröffentlicht: (1966)

Introducción al simbolismo lógico
von: Bosch, Jorge E
Veröffentlicht: (1981)

Lógica matemática.
von: Ferrater Mora, José
Veröffentlicht: (1962)

The grammar of mathematics
von: Durst, Lincoln K
Veröffentlicht: (1969)

La structure algébrique des théories mathématiques
von: Henkin, Leon
Veröffentlicht: (1956)

Symbolic logic and language: a programmed text
von: Dickoff, James, et al.
Veröffentlicht: (1965)

Computability and unsolvability
von: Davis, Martin
Veröffentlicht: (1982)

La lógica simbólica
von: Agazzi, Evandro
Veröffentlicht: (1986)

Introduction to mathematical logic
von: Mendelson, Elliott
Veröffentlicht: (1964)

Eléments de logique mathématique: théorie des modèles
von: Kreisel, G, et al.
Veröffentlicht: (1966)

Lógica formal: su alcance y sus límites.
von: Jeffrey, Richard C.
Veröffentlicht: (1986)

Lógica combinatoria
von: Curry, Haskell B, et al.
Veröffentlicht: (1967)

Los fundamentos de la matemática y otros ensayos sobre lógica
von: Ramsey, Frank Plumpton
Veröffentlicht: (1968)

Introduction a la logique mathématique
von: Novikov, P. S. (Petr Sergeevich)
Veröffentlicht: (1964)

The logical basis for computer programming
von: Manna, Zohar, et al.
Veröffentlicht: (1985)

Lógica simbólica: una breve introducción
von: Gómez Calderón, Javier
Veröffentlicht: (1979)

Manual de lógica para estudiantes de matemáticas
von: Zubieta Russi, Gonzalo
Veröffentlicht: (1971)

Lógica, lingüística y matemáticas
von: Serrano, Sebastián
Veröffentlicht: (1977)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Veröffentlicht: (1965)

Studies in foundations and combinatorics
von: Rota, Gian-Carlo
Veröffentlicht: (1978)

Lógica para lingüistas
von: Allwood, Jens, et al.
Veröffentlicht: (1981)

Lógica simbólica
von: Hegenberg, Leónidas
Veröffentlicht: (1966)

Introduction to Mathematical Logic
von: Dinkines, Flora
Veröffentlicht: (1964)