Detail Cantuman
Advanced Search
Text
First-Order Logic
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
| 116/18 | 511 SMU fol | My Library | Tersedia |
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
511 SMU fol
|
| Penerbit | Raymon M. Smullyan : NEW YORK., 1995 |
| Deskripsi Fisik |
155 pages; 22cm x 14cm
|
| Bahasa |
Bahasa Inggris
|
| ISBN/ISSN |
0-486-68370-2
|
| Klasifikasi |
500
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek | |
| Info Detil Spesifik |
To quantification theory and as an exposition of new results and techniques in "analytic" or "cut free" method. Impressed by the simplicity and mathematical elegance of the tableau point of view.
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain