Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

L.S. Benthem Jutting, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Abstract

In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.
Original languageEnglish
Title of host publicationSelected Papers on Automath
EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of PublicationAmsterdam
PublisherNorth-Holland Publishing Company
Pages805-808
ISBN (Print)0-444-89822-0
Publication statusPublished - 1994

Publication series

NameStudies in Logic
Volume133

Cite this

Benthem Jutting, van, L. S. (1994). Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). In R. P. Nederpelt, J. H. Geuvers, & R. C. Vrijer, de (Eds.), Selected Papers on Automath (pp. 805-808). (Studies in Logic; Vol. 133). Amsterdam: North-Holland Publishing Company.
Benthem Jutting, van, L.S. / Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). Selected Papers on Automath. editor / R.P. Nederpelt ; J.H. Geuvers ; R.C. Vrijer, de. Amsterdam : North-Holland Publishing Company, 1994. pp. 805-808 (Studies in Logic).
@inbook{4da47f3b18ec44e79acb60af631c178d,
title = "Checking Landau's {"}Grundlagen{"} in the Automath system : Parts of chapter 3 (Verification)",
abstract = "In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.",
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 = "805--808",
editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",

}

Benthem Jutting, van, LS 1994, Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). in RP Nederpelt, JH Geuvers & RC Vrijer, de (eds), Selected Papers on Automath. Studies in Logic, vol. 133, North-Holland Publishing Company, Amsterdam, pp. 805-808.

Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). / Benthem Jutting, van, L.S.

Selected Papers on Automath. ed. / R.P. Nederpelt; J.H. Geuvers; R.C. Vrijer, de. Amsterdam : North-Holland Publishing Company, 1994. p. 805-808 (Studies in Logic; Vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

AU - Benthem Jutting, van, L.S.

PY - 1994

Y1 - 1994

N2 - In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.

AB - In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in Logic

SP - 805

EP - 808

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 -

Benthem Jutting, van LS. Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification). In Nederpelt RP, Geuvers JH, Vrijer, de RC, editors, Selected Papers on Automath. Amsterdam: North-Holland Publishing Company. 1994. p. 805-808. (Studies in Logic).