Consistency proof for Peano arithmetic
| Title: | Consistency proof for Peano arithmetic |
| Author: | Prešić, Slaviša |
| URI: | http://hdl.handle.net/123456789/2553 |
| Date: | 1980 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| 1 cons FR.pdf | 553.3Kb |
View/ |
The following license files are associated with this item: