Predstavenie autora Christoph Benzmueller:

Doterajšie vydané knihy od Christoph Benzmueller:

Zdôvodňovanie v teórii jednoduchých typov: Andrews pri príležitosti jeho 70. narodenín - Reasoning...
Kings College Pubn
Reasoning in Simple Type Theory je zbierka...
Zdôvodňovanie v teórii jednoduchých typov: Andrews pri príležitosti jeho 70. narodenín - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
<<
1
>>