Checking Landau's "Grundlagen" in the Automath system : Appendix 9 (AUT-SYNT)

L.S. Benthem Jutting, van

Checking Landau's "Grundlagen" in the Automath system : Appendix 9 (AUT-SYNT)

L.S. Benthem Jutting, van

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

1 Citation (Scopus)

Abstract

No abstract.

Original language	English
Title of host publication	Selected Papers on Automath
Editors	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	299-301
ISBN (Print)	0-444-89822-0
Publication status	Published - 1994

Publication series

Name	Studies in Logic
Volume	133

Cite this

@inbook{fc47efcd0e654a9d89a4d390eb5638fc,

title = "Checking Landau's {"}Grundlagen{"} in the Automath system : Appendix 9 (AUT-SYNT)",

abstract = "No abstract.",

author = "{Benthem Jutting, van}, L.S.",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in Logic",

publisher = "North-Holland Publishing Company",

pages = "299--301",

editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}

TY - CHAP

T1 - Checking Landau's "Grundlagen" in the Automath system : Appendix 9 (AUT-SYNT)

AU - Benthem Jutting, van, L.S.

PY - 1994

Y1 - 1994

N2 - No abstract.

AB - No abstract.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in Logic

SP - 299

EP - 301

BT - Selected Papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

Checking Landau's "Grundlagen" in the Automath system : Appendix 9 (AUT-SYNT)

Abstract

Publication series

Fingerprint

Cite this