Coverart for item
The Resource Selected papers on Automath, edited by R.P. Nederpelt ... [and others]

Selected papers on Automath, edited by R.P. Nederpelt ... [and others]

Label
Selected papers on Automath
Title
Selected papers on Automath
Statement of responsibility
edited by R.P. Nederpelt ... [and others]
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Nederpelt, R. P.
Series statement
Studies in logic and the foundations of mathematics
Series volume
v. 133
http://library.link/vocab/subjectName
AUTOMATH (Formal language)
Label
Selected papers on Automath, edited by R.P. Nederpelt ... [and others]
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
31075875
Dimensions
23 cm
Extent
xix, 1024 pages
Isbn
9780444898227
Lccn
94034022
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Selected papers on Automath, edited by R.P. Nederpelt ... [and others]
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
31075875
Dimensions
23 cm
Extent
xix, 1024 pages
Isbn
9780444898227
Lccn
94034022
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Bowdoin College LibraryBorrow it
      3000 College Station, Brunswick, ME, 04011-8421, US
      43.907093 -69.963997
Processing Feedback ...