Author: Troelstra, A.S. Title: Completeness and validity for intuitionistic predicate logic
Description: University of Amsterdam 1976 stencil, 27 blz. Report 76-05 (code Sc-44)
Keywords: mathematics
Price: EUR 16.00 = appr. US$ 17.39 Seller: Moby Dick
- Book number: 233593
See more books from our catalog:
Science