Image from Amazon.com
Unsolvable classes of quantificational formulas / Harry R. Lewis
Publication details: Reading, Mass. : Addison-Wesley, 1979Description: xv, 198 p. : ill. ; 24 cmISBN:- 0201040697
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) | - | QA9.63.L48[00008031808] (Browse shelf(Opens below)) | 1 | Available | 00000271580 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: PILIH SIMPAN-P. TUN SERI LANANG (ARAS 1) Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
|
|
||
| QA9.6.F46[00008031805] General recursion theory : an axiomatic approach / | QA9.6.I57 1977[00008031806] Fundamentals of computation theory : proceedings of the 1977 International FCT - Conference, Poznan-Kornik, Poland, September 19-23, 1977 / | QA9.63.L47[00008031807] Degrees of unsolvability local and global theory | QA9.63.L48[00008031808] Unsolvable classes of quantificational formulas / | QA9.7.B44 n.1[00008031809] Models and ultraproducts : an introduction / | QA9.7.B44 n.2[00008031810] Models and ultraproducts : an introduction / | QA9.7.C66 1979[00008031811] Model theory of algebra and arithmetic proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 |
'Advanced Book Program.'
Includes indexes.
Bibliography: p. 190-194.
There are no comments on this title.
Log in to your account to post a comment.