Logic and computation : interactive proof with Cambridge LCF by Paulson, Lawrence C
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 PAU.
Book details
- Author
- Paulson, Lawrence C
- Publisher
- Cambridge
- Year
- 1990
- Pages
- 302
- ISBN
- 9780521395601
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 PAU | 311968 | Reference only (read in the library) |
Next to this on the shelf
- Formal Languages In Logic 511.3 NOV
- Proof Theory And Algebra In Logic 511.3 ONO
- Competitive Biochemistry 511.3 OPG
- Introduction To Category Therory 511.3 OTT
- Logic and computation : interactive proof with Cambridge LCF (this book)
- The Beauty Of Fractals: Images Of Complex Dynamical Systems 511.3 PEI
- Can Mathematics Be Proved Consistent?: Gödel'S Shorthand Notes & Lectures On Incompleteness 511.3 PLA
- Proof Theory 511.3 POH
- Mathematical Logic and Model Theory 511.3 PRES