• Proof theory in computer scien...

*Result*: Proof theory in computer science

*Title*:
Proof theory in computer science : international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. Reinhard Kahle ... (ed.)
*Author/editor-in-chief*:
Kahle, Reinhard (Herausgeber) 
*Corporate*:
PTCS (2001 : Dagstuhl)
*Publication*:
Berlin : Springer, 2001
*Physical description scale*:
VIII, 238 Seiten ; 24 cm
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; Vol. 2183
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 1800* *SS 4000*
*Subject Added Keywords*:
*ISBN*:
354042752X

*Additional information*

*Additional functions*