Handbook of proof theory /

Uloženo v:
Podrobná bibliografie
Další autoři: Buss, Samuel R., 1957- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Amsterdam : Elsevier, [1998]
Edice:Studies in Logic and the Foundations of Mathematics ; volume 137
Témata:
Popis
Fyzický popis:811 stran
ISBN:0-444-89840-9
0-444-55137-9