Lectures on the Curry-Howard isomorphism /

Hlavní autor:
Další autoři:
Urzyczyn, Pawel ( Autor )
Typ dokumentu: Kniha
Jazyk: angličtina
ISSN: 0049-237X
Vydavatel: Amsterdam : Elsevier, 2006.
Vydání: First edition
Edice: Studies in logic and the foundations of mathematics (Elsevier)
Předmět:
teorie typů
matematická logika
teorie důkazu
učebnice vysokých škol
Externí odkaz: Získat plný text

Podobné jednotky