Selected papers on Automath
by
 
Nederpelt, R. P. (Rob P.)

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
: 
AUTOMATH (Formal language)

Added Author
: 
Nederpelt, R. P. (Rob P.)

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book257090-1001ONLINEElektronik Kütüphane