Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.
Material type:
TextSeries: Oxford logic guides | Oxford science publicationsPublication details: Oxford [England] : Clarendon Press ; New York : Oxford University Press, c1993.Description: xii, 428 p. : ill. ;HBISBN: - 0198536909 (cloth) :
- 511.3
- QA9.54 .A75 1993
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books
|
Main LIbrary | QA9.54.C46 1992 (Browse shelf(Opens below)) | Available | 2025-211632 |
Browsing Main LIbrary shelves Close shelf browser (Hides shelf browser)
| No cover image available No cover image available |
|
|
|
|
|
|
||
| QA 8.L4 1967 Lecture notes in mathematics : A collection of informal reports and seminars : 47; Reports of the Midwest category seminars | QA9.G3 1996 Introduction to mathematical structures and proofs / | QA9.3 .K3 2006 SAT 2006 EDITION: Premier program | QA9.54.C46 1992 Arithmetic, proof theory, and computational complexity / | QA9.58.A6 2025 Algorithm Analysis and Design | QA10.5 K141 1991 Careers for number lovers | QA11.B4 1995 Mechanics 3 |
There are no comments on this title.
Log in to your account to post a comment.