Image from Amazon.com
Little prover / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More.
Material type:
TextPublication details: London, England ; MIT Press, 2015.Description: xiii, 229 pages ; 23 cmISBN: - 9780262527958 (pbk.)
- The little prover
- 511.36028563 FRI
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
H.T. Parekh Library | SIAS Collection | 511.36028563 FRI (Browse shelf(Opens below)) | Available | K18405 |
Browsing H.T. Parekh Library shelves,Collection: SIAS Collection Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 511.352 BOO Computability and logic / | 511.36 LAK Proofs and refutations: the logic of mathematical discovery / | 511.36 POH Proof theory : | 511.36028563 FRI Little prover / | 511.5 KOH Graph theory: undergraduate mathematics / | 511.5 WES Introduction to graph theory / | 511.6 ALO Probabilistic method / |
There are no comments on this title.
Log in to your account to post a comment.