Coverart for item
The Resource Checking Landau's "Grundlagen" in the automath system, L. S. van Benthem Jutting

Checking Landau's "Grundlagen" in the automath system, L. S. van Benthem Jutting

Label
Checking Landau's "Grundlagen" in the automath system
Title
Checking Landau's "Grundlagen" in the automath system
Statement of responsibility
L. S. van Benthem Jutting
Creator
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Benthem Jutting, L. S. van
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
Series statement
Mathematical Centre tracts ; 83
http://library.link/vocab/subjectName
  • Landau, Edmund
  • Number theory
  • AUTOMATH (Formal language)
  • Machine translating
Label
Checking Landau's "Grundlagen" in the automath system, L. S. van Benthem Jutting
Instantiates
Publication
Bibliography note
Bibliography: p. 120
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
5806388
Dimensions
24 cm
Extent
120 pages
Isbn
9789061961475
Isbn Type
(pbk.)
Lccn
80494257
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Label
Checking Landau's "Grundlagen" in the automath system, L. S. van Benthem Jutting
Publication
Bibliography note
Bibliography: p. 120
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
5806388
Dimensions
24 cm
Extent
120 pages
Isbn
9789061961475
Isbn Type
(pbk.)
Lccn
80494257
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n

Library Locations

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