Available for download Constructive Order Types
Constructive Order Types
- Date: 01 Jan 2000
- Publisher: ELSEVIER SCIENCE
- Format: Undefined::227 pages
- ISBN10: 1283526506
- ISBN13: 9781283526500
- Publication City/Country: United States
- Filename: constructive-order-types.pdf
Available for download Constructive Order Types. Studies in logic and the foundations of mathematics. Publication Information: Amsterdam:North-Holland, 1969. Subject Term: Recursive functions. Omniscience in constructive mathematics. A set X satisfies the above and a subset X 2N of order type [0, ] such that. 1. X is a G
