Higher-Order Logic and Type Theory (angol)

· Cambridge University Press · 2022 · puha kötésű · 75 oldal

Higher-Order Logic and Type Theory (angol)

A teljes rendelését egy csomagban küldjük el, 1 postaköltségért!
553 Ft
A termék jelenleg nem elérhető.
Tekintse meg az elérhető alternatív termékeket.
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... tovább 
Higher-Order Logic and Type Theory (angol)
A termék jelenleg nem elérhető.
553 Ft
  • Ez is érdekelheti
  • A szerző további könyvei
  • A kiadó további termékei
  • Utoljára megtekintett
  • Hasonló szerzők

Hasonló szerzők

Az ellenőrzött értékelések kifejezetten meg vannak jelölve, a többi nem ellenőrzött.
Semmilyen recenzió. Legyen Ön az első, írjon recenziót!
Váš avatar
Kiválasztás
Utónév
Az Ön recenziója
0

Látogatók könyve

Megjelölt ellenőrzött hozzászólások, a többi nem ellenőrzött.

Nagyker együttműködés

Ha érdekes a termékeik portfóliója, vegye fel velünk a kapcsolatot. Érdekes vásárlásokat, gyors fizetést és tiszteletteli együttműködést kínálunk.

nagykereskedesek@megakonyvek.hu

Alkoholt csak 18 éven felüliek vásárolhatnak.

Kérjük, erősítse meg, hogy már betöltötte a 18. életévét.