Formal Languages In Logic by Novaes, Catarina Dutilh
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.3 NOV.
Book details
- Author
- Novaes, Catarina Dutilh
- Publisher
- Cambridge
- Year
- 2014
- Pages
- 275
- ISBN
- 9781107460317
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 NOV | 338686 | Reference only (read in the library) |
Next to this on the shelf
- Godel's Proof 511.3 NAG
- Godel'S Proof 511.3 NAG
- A Transition To Proof : An introduction to advanced mathematics 511.3 NIC
- Essential Math For Data Science: Take Control Of Your Data With Fundamental Linear Algebra, Probability, And Statistics 511.3 NIE
- Formal Languages In Logic (this book)
- 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 511.3 PAU