E-book
A Modern Perspective on Type Theory From its Origins until Today
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 |
