Consistency proof for Peano arithmetic

eBibliothek Repositorium

 
 

Consistency proof for Peano arithmetic

Zur Langanzeige

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 PDF Öffnen

Die folgenden Lizenzbestimmungen sind mit dieser Ressource verbunden:

Das Dokument erscheint in:

Zur Langanzeige