next up previous
Next: Beschreibung der Wissensbasis (des Up: Vollstaendigkeitssatz Previous: Beweis (2)

Beispiel Peano Arithmetik



Subsections

Lee Chuck 2001-05-01