Copertina

Introduction to mathematical logic

Mostra altre versioni (1)

Salvato in:

Dettagli Bibliografici
Autore principale:	Mendelson, Elliott (autor)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Boca Ratón CRC 1997 Boca Ratón Chapman & Hall 1997
Edizione:	4a. ed
Soggetti:	Lógica matemática Teoría de conjuntos Lógica simbólica Teoría de números Algoritmos
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Introduction to mathematical logic
di: Mendelson, Elliott
Pubblicazione: (1964)

Introducción al simbolismo lógico
di: Bosch, Jorge E
Pubblicazione: (1981)

The grammar of mathematics
di: Durst, Lincoln K
Pubblicazione: (1969)

Popular lectures on mathematical logic
di: Wang, Hao
Pubblicazione: (1993)

Introduction to logic
di: Suppes, Patrick
Pubblicazione: (1957)

Logic colloquium
di: Parikh, Rohit
Pubblicazione: (1975)

An introduction to Hilbert space and quantum logic
di: Cohen, David W
Pubblicazione: (1989)

Studies in foundations and combinatorics
di: Rota, Gian-Carlo
Pubblicazione: (1978)

Lógica simbólica: una breve introducción
di: Gómez Calderón, Javier
Pubblicazione: (1979)

Lógica, lingüística y matemáticas
di: Serrano, Sebastián
Pubblicazione: (1977)

Algebra and logic
di: Crossley, J. N
Pubblicazione: (1975)

Methods in mathematical logic
di: Prisco, C. A. di
Pubblicazione: (1985)

Algoritmo de las particiones
di: Iommi Amunátegui, Godofredo Tomás
Pubblicazione: (1985)

Introducción al simbolismo lógico
di: Bosch, Jorge E
Pubblicazione: (1970)

Lógica simbólica para informáticos
di: Iranzo, Pascual Julián
Pubblicazione: (2005)

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

Lógica para informáticos
di: Farré Cirera, Rafel, et al.
Pubblicazione: (2012)

Mathematical Logic
di: Monk, James Donald
Pubblicazione: (1976)

Set theory and logic
di: Stoll, Robert R
Pubblicazione: (1963)

An algebraic introduction to mathematical logic
di: Barnes, Donald W, et al.
Pubblicazione: (1975)

Set theory and logic
di: Fraenkel, Abraham Adolf
Pubblicazione: (1966)

Eléments de Mathématique: théorie des ensembles
di: Bourbaki, Nicolás
Pubblicazione: (1970)

Introduction to mathematical ideas
di: Crowdis, David G, et al.
Pubblicazione: (1969)

Pruebas y refutaciones: la lógica del descubrimiento matemático
di: Lakatos, Imre
Pubblicazione: (1982)

A course in mathematical logic
di: Manin, Yuri Ivanovich
Pubblicazione: (1977)

Lógica simbólica
di: Hegenberg, Leónidas
Pubblicazione: (1966)

Tableau systems for first order number theory and certain higher order theories
di: Toledo, Sue
Pubblicazione: (1975)

Logic, computers, and sets
di: Wang, Hao
Pubblicazione: (1970)

La logique à l'école
di: Glaymann, Maurice, et al.
Pubblicazione: (1972)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Pubblicazione: (1970)

First-order logic
di: Smullyan, Raymond M
Pubblicazione: (1995)

First-order logic
di: Smullyan, Raymond M
Pubblicazione: (1968)

Teaching mathematical reasoning in secondary school classrooms
di: Brodie, Karin
Pubblicazione: (2010)

Modal logics
di: Feys, Robert
Pubblicazione: (1965)

Eléments de logique mathématique: théorie des modèles
di: Kreisel, G, et al.
Pubblicazione: (1966)

Lógica matemática.
di: Ferrater Mora, José
Pubblicazione: (1962)

La structure algébrique des théories mathématiques
di: Henkin, Leon
Pubblicazione: (1956)

Sur les algèbres de Hilbert
di: Diego, Antonio
Pubblicazione: (1966)

Conference in Mathematical logic, London 70
di: Hodges, Wilfrid
Pubblicazione: (1972)

A precis of mathematical logic
di: Bochénski, Innocentius M
Pubblicazione: (1959)