Consistency proof for Peano arithmetic

eBibliothek Repositorium

 
 

Consistency proof for Peano arithmetic

Zur Kurzanzeige

dc.contributor.author Prešić, Slaviša
dc.date.accessioned 2013-04-11T09:57:20Z
dc.date.available 2013-04-11T09:57:20Z
dc.date.issued 1980
dc.identifier.uri http://hdl.handle.net/123456789/2553
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2013-04-11T09:57:20Z No. of bitstreams: 1 1 cons FR.pdf: 553328 bytes, checksum: 01cad4c14be98688a961fc3bb76f3b35 (MD5) en
dc.description.provenance Made available in DSpace on 2013-04-11T09:57:20Z (GMT). No. of bitstreams: 1 1 cons FR.pdf: 553328 bytes, checksum: 01cad4c14be98688a961fc3bb76f3b35 (MD5) Previous issue date: 1980 en
dc.format.medium A4 en_US
dc.language.iso en en_US
dc.publisher Belgrade en_US
dc.title Consistency proof for Peano arithmetic en_US
mf.document.pages 15 en_US

Dateien zu dieser Ressource

Dateien Größe Format Anzeige
1 cons FR.pdf 553.3Kb PDF Öffnen

Das Dokument erscheint in:

Zur Kurzanzeige