Author: TROELSTRA, A.S. Title: On a second order propositional operator in intuitionistic logic
Description: University of Amsterdam 1979 stencil, 26 blz. Report 79-14
Keywords: science Wiskunde
Price: EUR 12.00 = appr. US$ 13.04 Seller: Moby Dick
- Book number: 233602
See more books from our catalog:
Science