- MATHEMATISCHES INSTITUT WS 2002/03 DER UNIVERSIT
- Pradikative Beweistheorie 2-stundige Vorlesung im Wintersemester 2004/05
- An approach to variable binding using de Bruijn indices and named variables Wilfried Buchholz
- Finitary treatment of operator controlled derivations Wilfried Buchholz (Universitat Munchen)
- A note on SLDNF-resolution Wilfried Buchholz
- Beweistheorie Wilfried Buchholz
- 8 Das Riemann Integral Vereinbarung. Bis einschlielich Satz 8.13 sei stets a < b.
- 1 Vollstandige Induktion; Grundbegriffe der Logik und Mengenlehre Wir setzen hier das System Z = {. . . , -2, -1, 0, 1, 2, 3, . . .} der ganzen Zahlen und das Rechnen mit diesen
- Explaining Gentzen's Consistency Proof within In nitary Proof Theory
- Course by Wilfried Buchholz Winter Semester 2001/02, Dept. of Mathematics, LMU Munchen
- x1 Syntax und Semantik der Pradikatenlogik 1. Stufe Grob vereinfachend kann man sagen, in der Mathematik gehe es darum, ausgehend von gewissen Axiomen
- Relating ordinals to proofs in a perspicious way Wilfried Buchholz
- Epsilon Substitution Method for Elementary Analysis Grigori Mints
- Mathematische Logik II Wilfried Buchholz
- 9 Ringe, Polynome Sei (R, +, ) ein Ring mit Eins.
- 10 Cardinal arithmetic Addition and multiplication of cardinal numbers
- A term calculus for (co)recursive definitions on streamlike datastructures Wilfried Buchholz, Universitat Munchen
- Another reduction of classical ID to constructive IDi Wilfried Buchholz
- A Note on the Ordinal Analysis of KPM W. BUCHHOLZ
- 1 Syntax und Semantik der Pradikatenlogik 1. Stufe Logische Grundzeichen
- An intuitionistic xed point theory Wilfried Buchholz
- Zahlentheorie Wilfried Buchholz
- Explaining the Gentzen-Takeuti reduction steps Wilfried Buchholz
- Beweistheorie Wilfried Buchholz
- A term calculus for (co-)recursive de nitions on streamlike data-structures Wilfried Buchholz, Universitat Munchen
- Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz
- 1 Lineare Gleichungssysteme und Matrizen Einige Abkurzungen.
