Consistency proof for Peano arithmetic
Titel: | Consistency proof for Peano arithmetic |
Autor: | Prešić, Slaviša |
URI: | http://hdl.handle.net/123456789/2553 |
Datum: | 1980 |
Dateien zu dieser Ressource
Dateien | Größe | Format | Anzeige |
---|---|---|---|
1 cons FR.pdf | 553.3Kb | Öffnen |
Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden: