Report copyright / DMCA form for A Transfinite Type Theory with Type Variables (Studies in Logic and the Foundations of Mathematics, 37)

Please fill this form as much details as possible, we will respond to your request within 2 to 3 business days.

Or you can send us a mail at:

John S. Harris
[email protected]
117 Strosin LightLeuschkefort, NB E1T5P5
Canada