Author: Troelstra, A.S. Title: Some models for intuitionistc finite type arithmetic with fan-functional
Description: University of Amsterdam 1974 stencil, 12 blz. Report 74-13 (code Sc-44)
Keywords: mathematics
Price: EUR 10.00 = appr. US$ 10.87 Seller: Moby Dick
- Book number: 233594
See more books from our catalog:
Science