A formalisation of the arithmetic of the ordinals less than Wω
Williams, H. P.
(1969).
A formalisation of the arithmetic of the ordinals less than Wω.
Notre Dame Journal of Formal Logic,
10(1), 77-89.
https://doi.org/10.1305/ndjfl/1093893588
| Item Type | Article |
|---|---|
| Copyright holders | © 1969 University of Notre Dame |
| Departments | LSE > Academic Departments > Management |
| DOI | 10.1305/ndjfl/1093893588 |
| Date Deposited | 24 Jan 2011 |
| URI | https://researchonline.lse.ac.uk/id/eprint/31627 |
Explore Further
- http://www.nd.edu/~ndjfl/ (Organisation)
- https://www.scopus.com/pages/publications/84972534091 (Scopus publication)
- http://www.dukeupress.edu/Catalog/ViewProduct.php?... (Official URL)