Search Results
Showing Item 24 of 971
PreviousNext
Treatise on Intuitionistic Type Theory
E-book
Electronic resources
Record details
- ISBN: 9789400717367
-
Physical Description:
electronic
electronic resource
access
remote
XIII, 196p. digital. - Publisher: Dordrecht : Springer Netherlands, 2011.
Search for related items by subject
Search for related items by series
- Logic, Epistemology, and the Unity of Science ; 22
- Logic, Epistemology, and the Unity of Science ; 22
Search Results
Showing Item 24 of 971
PreviousNext