Search Results
Showing Item 39 of 292
PreviousNext
A Modern Perspective on Type Theory From its Origins until Today
E-book
Electronic resources
Record details
- ISBN: 9781402023354
-
Physical Description:
electronic
electronic resource
access
remote
XIV, 360 p. online resource. - Publisher: Dordrecht : Springer Netherlands, 2005.
Search for related items by subject
Subject: | Mathematics Logic Computer science Logic, Symbolic and mathematical Mathematics Mathematical Logic and Foundations Mathematics of Computing Logic |
Search for related items by series
Search Results
Showing Item 39 of 292
PreviousNext