Research Catalog

Theories for admissible sets : a unifying approach to proof theory

Title
Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger.
Author
Jäger, Gerhard, Dr.
Publication
Napoli : Bibliopolis, 1986.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 88-866Offsite

Details

Description
167 p.; 24 cm.
Series Statement
Studies in proof theory ; 2
Subject
  • Proof theory
  • Admissible sets
Note
  • "Lecture notes."
Bibliography (note)
  • Bibliography: p. 162-167.
Call Number
JSE 88-866
ISBN
8870881490 (pbk.)
LCCN
87134107
OCLC
  • 16953006
  • NYPG87-B40280
Author
Jäger, Gerhard, Dr.
Title
Theories for admissible sets : a unifying approach to proof theory / Gerhard Jäger.
Imprint
Napoli : Bibliopolis, 1986.
Series
Studies in proof theory ; 2
Bibliography
Bibliography: p. 162-167.
Research Call Number
JSE 88-866
View in Legacy Catalog