Computational logic and human thinking by Kowalski, Robert
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 KOW.
Book details
- Author
- Kowalski, Robert
- Publisher
- Cambridge
- Year
- 2011
- Pages
- 332
- ISBN
- 9780521123365
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 KOW | 310567 | Reference only (read in the library) |
Next to this on the shelf
- Interpreting Godel 511.3 KEN
- Switching And Finite Automata Theory 511.3 KOH
- Problems And Theorems In Classical Set Theory (Sae) (Pb 2020) 511.3 KOM
- Finite Precision Number Systems And Arithmetic 511.3 KOR
- Computational logic and human thinking (this book)
- Decision Procedures 511.3 KRO
- Discrete Mathematics 511.3 KUM
- Discrete Mathematics 511.3 KUM
- Proofs and Refutations: the Logic of Mathematical Discovery 511.3 LAK