Title:
Selected papers on Automath
Author:
Nederpelt, R. P. (Rob P.)
ISBN:
9780444898227
Publication Information:
Amsterdam ; New York : Elsevier, 1994.
Physical Description:
1 online resource (xix, 1024 p.) : ill.
Series:
Studies in logic and the foundations of mathematics ; v. 133
Series Title:
Studies in logic and the foundations of mathematics ; v. 133
Subject Term:
Added Author:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 257090-1001 | ONLINE | Searching... | Searching... |