Proof theory of impredicative subsystems of analysis

Front Cover
Bibliopolis, 1988 - Mathematics - 122 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
9
SUBSYSTEMS OF ANALYSIS WITH INCOM
29
Axioms and Basic Inferences of the Formal System Aj 33 IIjComprehen
54
Copyright

3 other sections not shown

Common terms and phrases