English
Unordered
Journal of Symbolic Logic
S. Awodey, N. Gambino, P. L. Lumsdaine and M. A. Warren
2009 September
View book
Discover references
S. Awodey, N. Gambino, P. L. Lumsdaine and M. A. Warren