Methods in mathematical logic
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Berlín
Springer-Verlag
1985
|
| Seri Bilgileri: | Lecture Notes in Mathematics, 1130
|
| Konular: | |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCP1660 | ||
| 003 | CL-VaPUC | ||
| 005 | 20240819115758.0 | ||
| 008 | 990416e19850000gw 1 eng d | ||
| 082 | 0 | 4 | |a 511.3 |b PRI |2 21 |
| 100 | 1 | |a Prisco, C. A. di |e author |9 619416 | |
| 245 | 1 | 0 | |a Methods in mathematical logic |
| 260 | |a Berlín |b Springer-Verlag |c 1985 | ||
| 300 | |a 407 p | ||
| 490 | 0 | |a Lecture Notes in Mathematics, 1130 | |
| 583 | |a last modification |c 19990416 00:00:00 |k Rodrigo Vera | ||
| 650 | 0 | 0 | |a Lógica matemática |9 262442 |
| 650 | 0 | 0 | |a Lógica simbólica |9 269868 |
| 650 | 0 | 0 | |a Aproximación |9 427785 |
| 650 | 0 | 0 | |a Geometría algebraica |9 270327 |
| 650 | 0 | 0 | |a Congresos |9 257560 |
| 942 | |c BK | ||
| 945 | |a crobeson |d 19990416 00:00:00 | ||
| 546 | |a En Inglés | ||
| 518 | |p Latin American Symposium on Mathematical Logic, 6, Caracas, 1 al 6 de agosto de 1983 | ||
| 999 | |c 383389 |d 383387 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_PRI_1985 |7 0 |8 A |9 505493 |a BIBMAT |b BIBMAT |d 2020-01-23 |i 1343939 |o 511.3 PRI 1985 |p 1343939 |r 2025-01-07 |w 2020-01-23 |y BK |k MAT | ||