An algebraic introduction to mathematical logic
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Nueva York
Springer-Verlag
1975
|
| Serie: | Graduate Texts in Mathematics, 22
|
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8251 | ||
| 003 | CL-VaPUC | ||
| 008 | 981209e19750000US |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.3 |b BAR |2 21 |
| 100 | 0 | |a Barnes, Donald W |e author |9 422085 | |
| 700 | 0 | |a Mack, John M |e author |9 422086 | |
| 245 | 1 | 3 | |a An algebraic introduction to mathematical logic |
| 300 | |a 121 p | ||
| 942 | |c BK | ||
| 945 | |d 19981209 00:00:00 |a crobeson | ||
| 260 | |a Nueva York |b Springer-Verlag |c 1975 | ||
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 0 | |a Lógica simbólica |9 269868 | |
| 650 | 7 | |a LOGICA ALGEBRAICA |2 CL-VaPUC |9 270591 | |
| 650 | 7 | |a MAQUINAS DE TURING |2 CL-VaPUC |9 422087 | |
| 650 | 0 | |a Matemática |9 260235 | |
| 583 | |a last modification |c 19981209 00:00:00 |k Rodrigo Vera | ||
| 490 | 0 | |a Graduate Texts in Mathematics, 22 | |
| 999 | |c 277536 |d 277534 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_BAR_1975 |7 0 |8 A |9 315528 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 130013K |o 511.3 BAR 1975 |p 130013K |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_BAR_1975 |7 0 |8 A |9 315529 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 1305905 |o 511.3 BAR 1975 |p 1305905 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||