Hlavní autor:	Troelstra, A. S., 1939- ( Autor )
Další autoři:	Schwichtenberg, Helmut, 1942- ( Autor )
Typ dokumentu:	Kniha
Jazyk:	angličtina
Vydavatel:	Cambridge : Cambridge University Press, 2000.
Vydání:	Second edition
Edice:	Cambridge tracts in theoretical computer science
Předmět:	logika teorie důkazu kolektivní monografie
Externí odkaz:	Obsah knihy

Podobné jednotky