towar
(pusty)
Higher-Order Logic and Type Theory (po angielsku)
98,52
zł
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...
przeczytaj całość
Higher-Order Logic and Type Theory
(po angielsku)
Produkt jest obecnie niedostępny.
98,52
zł
- Mogłoby Cię również zainteresować
- Inne książki autora
- Inne pozycje wydawcy
- Ostatnio obejrzane
Podobni autorzy
Współpraca hurtowa
Jeśli macie Państwo interesujący asortyment, prosimy o kontakt z naszym działem handlowym. Oferujemy atrakcyjne warunki, szybkie płatności i długoletnią współpracę.
hurtownie@megaksiazki.pl