Higher-Order Logic and Type Theory (engleski)

· Cambridge University Press · 2022 · meka · 75 stranica

Higher-Order Logic and Type Theory (engleski)

553,21 €
Proizvod trenutno nije dostupan.
Provjerite dostupne alternative.
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... pročitati sve 
  • Moglo bi i Vas zanimati
  • Ostale knjige autora
  • Ostala roba izdavača
  • Zadnji put pogledano
  • Slični autori

Kolekcionarske etikete

Slični autori

Provjerene recenzije su izričito označene kao takve, ostale su neprovjerene.
Nema recenzija. Budite prvi koji će napisati svoju!
Váš avatar
Odaberi
Ime
Vaše recenzije
0

Knjiga gostiju

Potvrđeni postovi su označeni kao takvi, ostali su neprovjereni.

Veleprodajna suradnja

Ukoliko imate zanimljiv asortiman, slobodno nas kontaktirajte. Nudimo zanimljive pretplate, brza plaćanja i suradnju s poštovanjem.

prodaja-na-veliko@megaknjige.hr

Alkohol mogu kupiti samo osobe starije od 18 godina.

Molimo potvrdite da već imate 18 godina.