tovar
(prázdne)
Higher-Order Logic and Type Theory (anglicky)
26,87
€
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...
prečítať celé
Higher-Order Logic and Type Theory
(anglicky)
Produkt momentálne nie je dostupný.
26,87
€
- Mohlo by Vás taktiež zaujať
- Ďalšie knihy autora
- Ďalší tovar nakladateľa
- Naposledy zobrazené
Podobní autori
Veľkoobchodná spolupráca
Ak máte zaujímavý sortiment, neváhajte nás osloviť. Ponúkame zaujímavé odbery, rýchle platby a rešpektuplnú spoluprácu.
velkoobchody@megaknihy.sk