Lectures on the Curry-Howard Isomorphism (engleski)

· Elsevier Science & Technology · 2006 · vezana · 456 stranica

Lectures on the Curry-Howard Isomorphism (engleski)

3 294,45 €
3 294,45 €
Cijena niža za 13 % u odnosu na preporučenu maloprodajnu cijenu
Uobičajeno 3 803,13 €
Proizvod trenutno nije dostupan.
Provjerite dostupne alternative.
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related... 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.