Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Email
RIS file
Bookmark
Report an Issue
A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
Author:
Kamareddine, Fairouz D.
Published:
Dordrecht ; Boston : Kluwer Academic Publishers, [2004]
Copyright Date:
©2004
Physical Description:
xiv, 357 pages ; 25 cm.
Additional Creators:
Laan, Twan
and
Nederpelt, R. P. (Rob P.)
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series:
Applied logic series ; v. 29.
Subject(s):
Type theory
ISBN:
1402023340 (alk. paper)
1402023359 (e-book)
Bibliography Note:
Includes bibliographical references (pages 337-348) and indexes.
View MARC record
| catkey: 2756513