Lectures on the Curry-Howard Isomorphism (angol)

· Elsevier Science & Technology · 2006 · kötött · 456 oldal

Lectures on the Curry-Howard Isomorphism (angol)

3 294 Ft
3 294 Ft
Az ár 13 % az ajálott fogyasztói árral szemben
Normál ár 3 803 Ft
A termék jelenleg nem elérhető.
Tekintse meg az elérhető alternatív termékeket.
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... tovább 
Lectures on the Curry-Howard Isomorphism (angol)
A termék jelenleg nem elérhető.
3 294 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.