Prezentacja autora Christoph Benzmueller:

Dotychczas wydane książki Christoph Benzmueller:

Rozumowanie w prostej teorii typów: Festschrift na cześć Petera B. Andrewsa z okazji 70. urodzin -...
Kings College Pubn
Reasoning in Simple Type Theory to zbiór...
Rozumowanie w prostej teorii typów: Festschrift na cześć Petera B. Andrewsa z okazji 70. urodzin - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>