Image from Amazon.com
Image from Google Jackets
Computational logic and proof theory
Material type:
TextPublication details: Berlin Springer Verlag 1993ISBN: - 3540571841
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Goa University Library General Stacks 2 | 511.3 GOT/Com (Browse shelf(Opens below)) | Available | 094824 |
Browsing Goa University Library shelves, Shelving location: General Stacks 2 Close shelf browser (Hides shelf browser)
| No cover image available No cover image available | No cover image available No cover image available |
|
|
|
|
No cover image available No cover image available | ||
| 511.3 ERS-PAL Mathematical Logic | 511.3 GAL/Log Logic for Computer Science : Foundations of Automatic Theorem Proving | 511.3 GAY-NIS Modeling Nature | 511.3 GOT/Com Computational logic and proof theory | 511.3 HAM/Log Logic for Mathematics | 511.3 HOP-ULL Introduction to Automata Theory, Languages, and Computation | 511.3 ING/Dis The Distribution of Prime Numbers |
There are no comments on this title.
Log in to your account to post a comment.