A Transfinite Type Theory with Type Variables
- 1st Edition, Volume 37 - January 1, 1965
- Latest edition
- Author: Lev D. Beklemishev
- Language: English
Readership
Readership
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
Product details
Product details
- Edition: 1
- Latest edition
- Volume: 37
- Published: January 1, 1965
- Language: English
About the author
About the author
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.View book on ScienceDirect
View book on ScienceDirect
Read A Transfinite Type Theory with Type Variables on ScienceDirect