
Constructive Order Types
Free Global Shipping
No minimum orderDescription
Readership
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
Product details
- No. of pages: 7223
- Language: English
- Copyright: © Elsevier Science 2000
- Published: January 1, 1969
- Imprint: Elsevier Science
- eBook ISBN: 9780080957753
About the Author
Lev Beklemishev
Affiliations and Expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.