Proofs and computations /

Hlavní autor:
Další autoři:
Wainer, S. S. ( Autor )
Korporace:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Cambridge : Cambridge University Press, 2012.
Edice: Perspectives in logic.
Předmět: