Image from Amazon.com
The functional interpretation of logical deduction / Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
Material type:
TextSeries: Publisher: Singapore : World Scientific, 2012Description: xxxii, 266 pages ; 24 cmContent type: - text
- unmediated
- volume
- 9789814360951
- 9814360953
- QA9 .Q44 2012
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| Books - Printed | PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH Main Library General | QA9 .Q44 2012 (Browse shelf(Opens below)) | Available | 1000286024 |
Browsing PERPUSTAKAAN GUNASAMA HAB PENDIDIKAN TINGGI PAGOH shelves, Shelving location: Main Library General Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA9 .L53 2006 A concise introduction to pure mathematics / | QA9 .M36 1996 Extensions of first order logic / | QA9 .M46 1997 Introduction to mathematical logic / | QA9 .Q44 2012 The functional interpretation of logical deduction / | QA9 .R35 1931 The Foundations of mathematics and other logical essays / | QA9 .R62 2000 Learning to reason : an introduction to logic, sets and relations / | QA9 .S22 2010 Saturated model theory / |
1 3
There are no comments on this title.
Log in to your account to post a comment.