Image from Amazon.com
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman.
Material type:
TextSeries: Oxford texts in logic ; 1Publication details: Oxford ; New York : Oxford University Press, 2004.Description: xx, 431 p. : ill. ; 25 cmISBN: - 0198529805
- 0198529813 (pbk.)
- 160 22
- QA9 .H36 2004
| Item type | Current library | Home library | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Main Campus Library | University of Eastern Africa, Baraton | Main Stack | QA 9 .H36 2004 c.1 (Browse shelf(Opens below)) | 1 | Available | 70382 | |
|
Books
|
Main Campus Library | University of Eastern Africa, Baraton | Main Stack | QA 9 .H36 2004 c.2 (Browse shelf(Opens below)) | 2 | Available | 70383 |
Browsing University of Eastern Africa, Baraton shelves, Shelving location: Main Stack Close shelf browser (Hides shelf browser)
|
|
|
|
|
No cover image available |
|
||
| QA 9 .E2213 1994 c.1 Mathematical logic / | QA 9 .E2213 1994 c.2 Mathematical logic / | QA9 .H325 2002 Handbook of the logic of argument and inference : the turn towards the practical / | QA 9 .H36 2004 c.1 A first course in logic : | QA 9 .H36 2004 c.2 A first course in logic : | QA9 .S64 2005 How to read and do proofs an introduction to mathematical thought processes | QA 9 .V5513 1995 c.1 In search of infinity / |
Includes bibliographical references (p. [426]-427) and index.
There are no comments on this title.
Log in to your account to post a comment.