On formally undecidable propositions of principia mathematica and related systems /
Inv. fomec: L0958
Saved in:
| Main Author: | |
|---|---|
| Format: | Texto biblioteca |
| Language: | e |
| Published: |
New York : Dover Publications,
1992
|
| Subjects: | PROPOSICIONES, RECURSIVIDAD, ARITMÉTICA, |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Inv. fomec: L0958 |
|---|