Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001 (2001 Dahgstuhl Castle) Reinhard Kahle 1967-; Peter Joseph Schroeder-Heister 1953-; Robert F Stärk 1963-
Berlin Springer New York c2001
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2183 ) e outros locais(Acessar)