Introduction to mathematical logic
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Princeton
D. van Nostrand
1964
|
| Serier: | The University Series in Undergraduate Mathematics
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCQ8058 | ||
| 003 | CL-VaPUC | ||
| 008 | 981127e19640000us |||||||||||||||||eng|d | ||
| 082 | 0 | 4 | |a 511.3 |b MEN |2 21 |
| 100 | |a Mendelson, Elliott |e autor |9 518725 | ||
| 245 | 1 | 0 | |a Introduction to mathematical logic |
| 300 | |a 300 p | ||
| 942 | |c BK | ||
| 945 | |d 19981127 00:00:00 |a crobeson | ||
| 260 | |a Princeton |b D. van Nostrand |c 1964 | ||
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 0 | |a Lógica simbólica |9 269868 | |
| 650 | 0 | |a Cálculo proposicional |9 421897 | |
| 650 | 7 | |a LOGICA DE CUANTIFICADORES |2 CL-VaPUC |9 421894 | |
| 650 | 0 | |a Teoría de números |9 265327 | |
| 650 | 0 | |a Teoría de conjuntos |9 265668 | |
| 650 | 0 | |a Algoritmos |9 260639 | |
| 583 | |a last modification |c 20150504 03:31:41 |k Rodrigo Vera | ||
| 490 | 0 | |a The University Series in Undergraduate Mathematics | |
| 999 | |c 277419 |d 277417 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_MEN_1964 |7 0 |8 A |9 315331 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 1496719 |o 511.3 MEN 1964 |p 1496719 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_MEN_1964 |7 0 |8 A |9 315332 |a BIBMAT |b BIBMAT |d 2019-11-20 |i 4207785 |o 511.3 MEN 1964 |p 4207785 |r 2025-01-07 |w 2019-11-20 |y BK |k MAT | ||