Higher-order logic and type theory by Bell , John L
Kalaignar Centenary Library, Madurai · 2 of 3 copies available to borrow
Where to find it: Third floor, call number 511.3 BEL.
Book details
- Author
- Bell , John L
- Publisher
- Cambridge university press
- Year
- 2022
- Pages
- 79
- ISBN
- 9781108986908
Copies in the library (3)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.3 BEL | 354920 | Available to borrow |
| Third floor | 511.3 BEL | 354921 | Available to borrow |
| Third floor | 511.3 BEL | 354919 | Reference only (read in the library) |
Next to this on the shelf
- Mathematics and Metaphilosophy : Elements in the Philosophy of Mathematics 511.2 CLA
- The Art Of Probability 511.2 HAM
- Discrete Mathematics 511.3 AAR
- Proof Techniques And Fundamental Concepts Of Abstract Mathematics 511.3 ANT
- Higher-order logic and type theory (this book)
- Winning Ways For Your Mathematical Plays Vol 1 511.3 BER
- Winning Ways For Your Mathematical Plays Vol 2 511.3 BER
- Sets and Mappings 511.3 BLY
- An Investigation Of The Laws Of Thought, On Which Are Founded The Mathematical Theories Of Logic And Probabilities 511.3 BOO