Cover Image

Selected papers on Automath /

Show other versions (1)
Bibliographic Details
Other Authors: Nederpelt, R. P. (Rob P.)
Format: Book
Language:English
Published: Amsterdam ; New York : Elsevier, [1994]
Series:Studies in logic and the foundations of mathematics ; v. 133.
Subjects:
AUTOMATH (Formal language)
Description
Physical Description:xix, 1024 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references and indexes.
ISBN:0444898220