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 |