A formalisation of the arithmetic of the ordinals less than Wω
Williams, H. Paul
(1969)
A formalisation of the arithmetic of the ordinals less than Wω
Notre Dame Journal of Formal Logic, 10 (1).
pp. 77-89.
ISSN 0029-4527
| Item Type | Article |
|---|---|
| Departments | Management |
| DOI | 10.1305/ndjfl/1093893588 |
| Date Deposited | 24 Jan 2011 14:54 |
| URI | https://researchonline.lse.ac.uk/id/eprint/31627 |
Explore Further
- http://www.nd.edu/~ndjfl/ (Organisation)
- http://www.dukeupress.edu/Catalog/ViewProduct.php?... (Official URL)