Detail Cantuman
Pencarian SpesifikBuku
An introduction to mathematical logic and type theory : to truth through proof / Peter B.,Andrews
Tidak Tersedia Deskripsi
Informasi Detail
| Judul Seri |
-
|
|---|---|
| Kode Buku |
511.3 AND i
|
| No Reg |
04867/PB/91
|
| Penerbit | Orlando : Academic Press : ., 1986 |
| Deskripsi Fisik |
xv, 304 hlm. : app.; 22 cm
|
| Bahasa | |
| ISBN/ISSN |
0-12-058536-7
|
| Edisi |
-
|
|---|---|
| Subjek | |
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain