|
|
(view preamble)
Cross-references: conditional, implication, property, mapping, betweenness in rays, paradoxical, numbers, points
There are 235 references to this entry.
This is version 3 of fix, born on 2006-08-21, modified 2006-08-23.
Object id is 8277, canonical name is Fix2.
Accessed 2935 times total.
Classification:
| AMS MSC: | 03-00 (Mathematical logic and foundations :: General reference works ) | | | 03F07 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Structure of proofs) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|