Pastāsti draugiem par šo preci:
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic Bell, John L. (University of Western Ontario) New edition
Cena
€ 34,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 5. - 13. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Bell, John L. (University of Western Ontario) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Higher-Order Logic and Type Theory - Elements in Philosophy and Logic
Bell, John L. (University of Western Ontario)
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
75 pages, Worked examples or Exercises; Worked examples or Exercises
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2022. gada 31. marts |
| ISBN13 | 9781108986908 |
| Izdevēji | Cambridge University Press |
| Lapas | 88 |
| Izmēri | 228 × 152 × 8 mm · 148 g |
| Valoda | Angļu |
