Logical foundations of mathematics and computational complexity : a gentle introduction /

Hlavní autor:
Pudlák, Pavel ( Autor )
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Heidelberg : Springer, 2013.
Vydání: 1st ed.
Edice: Springer monographs in mathematics
Předmět: