Research Catalog
Checking Landau's "Grundlagen" in the automath system
- Title
- Checking Landau's "Grundlagen" in the automath system / L. S. van Benthem Jutting.
- Author
- Benthem Jutting, L. S. van.
- Publication
- Amsterdam : Mathematisch Centrum, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 80-1424 | Offsite |
Details
- Description
- 120 p.; 24 cm.
- Series Statement
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \83
- Uniform Title
- Mathematical Centre tracts ; \83.
- Subjects
- Bibliography (note)
- Bibliography: p. 120.
- Call Number
- JSE 80-1424
- ISBN
- 9061961475 (pbk.)
- LCCN
- 80494257
- OCLC
- 5806388
- NYPG804774429-B
- Author
- Benthem Jutting, L. S. van.
- Title
- Checking Landau's "Grundlagen" in the automath system / L. S. van Benthem Jutting.
- Imprint
- Amsterdam : Mathematisch Centrum, 1979.
- Series
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \83Mathematical Centre tracts ; \83.
- Bibliography
- Bibliography: p. 120.
- Research Call Number
- JSE 80-1424