хранилище/kolxo3/issue5─6/DVD12/TU Wien Scripta/Logik/Beweise/
01 010214 Beweise_als_Programme_001(de)(45s).ps.gz [request] 02-09-2013:02-41

02 010215 Making_Proof_001(de)(25s).ps.gz [request] 02-09-2013:02-41

03 010216 Proof_Theory_001(en)(103s).ps.gz [request] 02-09-2013:02-41