Image from Amazon.com
A first course in logic: an introduction to model theory, proof theory, computability, and complexity
Material type:
TextLanguage: English Series: Oxford texts in logic 1Publication details: Oxford University Press c2004Description: xx, 431pISBN: - 9780198529804 (HB)
- 004.015113 HED(FIR)
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Central Library | 004.015113 HED(FIR) (Browse shelf(Opens below)) | 1 | Available | 9878 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004.015113 FIT(FIR) First-order logic and automated theorem proving : second edition | 004.015113 FLE(FOR) Formal models of computation: the ultimate limits of computing | 004.015113 FLE(FOR) Formal models of computation : the ultimate limits of computing | 004.015113 HED(FIR) A first course in logic: an introduction to model theory, proof theory, computability, and complexity | 004.015113 HOM(AUT) Automata theory and formal languages | 004.015113 ILA(CEL) Cellular Automata: a discrete universe | 004.015113 IMM(DES) Descriptive complexity |
SAR/146/2009/06-11-09
There are no comments on this title.
Log in to your account to post a comment.