Introduction to mathematical logic
Gorde:
| Egile nagusia: | Mendelson, Elliott (autor) |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Boca Ratón
CRC
1997
Boca Ratón Chapman & Hall 1997 |
| Edizioa: | 4a. ed |
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
- Aleari buruzko argibideak
- Deskribapena
- Iruzkinak
- Beste bertsio batzuk (1)
- Antzeko izenburuak
- MARC erregistroa
Antzeko izenburuak
Introduction to mathematical logic
nork: Mendelson, Elliott
Argitaratua: (1964)
nork: Mendelson, Elliott
Argitaratua: (1964)
Introducción al simbolismo lógico
nork: Bosch, Jorge E
Argitaratua: (1981)
nork: Bosch, Jorge E
Argitaratua: (1981)
The grammar of mathematics
nork: Durst, Lincoln K
Argitaratua: (1969)
nork: Durst, Lincoln K
Argitaratua: (1969)
Popular lectures on mathematical logic
nork: Wang, Hao
Argitaratua: (1993)
nork: Wang, Hao
Argitaratua: (1993)
Introduction to logic
nork: Suppes, Patrick
Argitaratua: (1957)
nork: Suppes, Patrick
Argitaratua: (1957)
Logic colloquium
nork: Parikh, Rohit
Argitaratua: (1975)
nork: Parikh, Rohit
Argitaratua: (1975)
An introduction to Hilbert space and quantum logic
nork: Cohen, David W
Argitaratua: (1989)
nork: Cohen, David W
Argitaratua: (1989)
Studies in foundations and combinatorics
nork: Rota, Gian-Carlo
Argitaratua: (1978)
nork: Rota, Gian-Carlo
Argitaratua: (1978)
Lógica simbólica: una breve introducción
nork: Gómez Calderón, Javier
Argitaratua: (1979)
nork: Gómez Calderón, Javier
Argitaratua: (1979)
Lógica, lingüística y matemáticas
nork: Serrano, Sebastián
Argitaratua: (1977)
nork: Serrano, Sebastián
Argitaratua: (1977)
Algebra and logic
nork: Crossley, J. N
Argitaratua: (1975)
nork: Crossley, J. N
Argitaratua: (1975)
Methods in mathematical logic
nork: Prisco, C. A. di
Argitaratua: (1985)
nork: Prisco, C. A. di
Argitaratua: (1985)
Algoritmo de las particiones
nork: Iommi Amunátegui, Godofredo Tomás
Argitaratua: (1985)
nork: Iommi Amunátegui, Godofredo Tomás
Argitaratua: (1985)
Introducción al simbolismo lógico
nork: Bosch, Jorge E
Argitaratua: (1970)
nork: Bosch, Jorge E
Argitaratua: (1970)
Lógica simbólica para informáticos
nork: Iranzo, Pascual Julián
Argitaratua: (2005)
nork: Iranzo, Pascual Julián
Argitaratua: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
nork: Ledesma, Luis de
Argitaratua: (2010)
nork: Ledesma, Luis de
Argitaratua: (2010)
Lógica para informáticos
nork: Farré Cirera, Rafel, et al.
Argitaratua: (2012)
nork: Farré Cirera, Rafel, et al.
Argitaratua: (2012)
Mathematical Logic
nork: Monk, James Donald
Argitaratua: (1976)
nork: Monk, James Donald
Argitaratua: (1976)
Set theory and logic
nork: Stoll, Robert R
Argitaratua: (1963)
nork: Stoll, Robert R
Argitaratua: (1963)
An algebraic introduction to mathematical logic
nork: Barnes, Donald W, et al.
Argitaratua: (1975)
nork: Barnes, Donald W, et al.
Argitaratua: (1975)
Set theory and logic
nork: Fraenkel, Abraham Adolf
Argitaratua: (1966)
nork: Fraenkel, Abraham Adolf
Argitaratua: (1966)
Eléments de Mathématique: théorie des ensembles
nork: Bourbaki, Nicolás
Argitaratua: (1970)
nork: Bourbaki, Nicolás
Argitaratua: (1970)
Introduction to mathematical ideas
nork: Crowdis, David G, et al.
Argitaratua: (1969)
nork: Crowdis, David G, et al.
Argitaratua: (1969)
Pruebas y refutaciones: la lógica del descubrimiento matemático
nork: Lakatos, Imre
Argitaratua: (1982)
nork: Lakatos, Imre
Argitaratua: (1982)
A course in mathematical logic
nork: Manin, Yuri Ivanovich
Argitaratua: (1977)
nork: Manin, Yuri Ivanovich
Argitaratua: (1977)
Lógica simbólica
nork: Hegenberg, Leónidas
Argitaratua: (1966)
nork: Hegenberg, Leónidas
Argitaratua: (1966)
Tableau systems for first order number theory and certain higher order theories
nork: Toledo, Sue
Argitaratua: (1975)
nork: Toledo, Sue
Argitaratua: (1975)
Logic, computers, and sets
nork: Wang, Hao
Argitaratua: (1970)
nork: Wang, Hao
Argitaratua: (1970)
La logique à l'école
nork: Glaymann, Maurice, et al.
Argitaratua: (1972)
nork: Glaymann, Maurice, et al.
Argitaratua: (1972)
Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Argitaratua: (1970)
Argitaratua: (1970)
First-order logic
nork: Smullyan, Raymond M
Argitaratua: (1995)
nork: Smullyan, Raymond M
Argitaratua: (1995)
First-order logic
nork: Smullyan, Raymond M
Argitaratua: (1968)
nork: Smullyan, Raymond M
Argitaratua: (1968)
Teaching mathematical reasoning in secondary school classrooms
nork: Brodie, Karin
Argitaratua: (2010)
nork: Brodie, Karin
Argitaratua: (2010)
Modal logics
nork: Feys, Robert
Argitaratua: (1965)
nork: Feys, Robert
Argitaratua: (1965)
Eléments de logique mathématique: théorie des modèles
nork: Kreisel, G, et al.
Argitaratua: (1966)
nork: Kreisel, G, et al.
Argitaratua: (1966)
Lógica matemática.
nork: Ferrater Mora, José
Argitaratua: (1962)
nork: Ferrater Mora, José
Argitaratua: (1962)
La structure algébrique des théories mathématiques
nork: Henkin, Leon
Argitaratua: (1956)
nork: Henkin, Leon
Argitaratua: (1956)
Sur les algèbres de Hilbert
nork: Diego, Antonio
Argitaratua: (1966)
nork: Diego, Antonio
Argitaratua: (1966)
Conference in Mathematical logic, London 70
nork: Hodges, Wilfrid
Argitaratua: (1972)
nork: Hodges, Wilfrid
Argitaratua: (1972)
A precis of mathematical logic
nork: Bochénski, Innocentius M
Argitaratua: (1959)
nork: Bochénski, Innocentius M
Argitaratua: (1959)
Antzeko izenburuak
-
Introduction to mathematical logic
nork: Mendelson, Elliott
Argitaratua: (1964) -
Introducción al simbolismo lógico
nork: Bosch, Jorge E
Argitaratua: (1981) -
The grammar of mathematics
nork: Durst, Lincoln K
Argitaratua: (1969) -
Popular lectures on mathematical logic
nork: Wang, Hao
Argitaratua: (1993) -
Introduction to logic
nork: Suppes, Patrick
Argitaratua: (1957)