A Transfinite Type Theory with Type Variables

Free Download

Authors:

Edition: NH

Series: Studies in Logic and the Foundations of Mathematics 37

Size: 758 kB (776645 bytes)

Pages: 154/154

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Peter B Andrews

Reviews

There are no reviews yet.

Be the first to review “A Transfinite Type Theory with Type Variables”

Related products

Shopping Cart
Scroll to Top