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: