Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)

Propagation of Singularities for Fuchsian Operators (Lecture Notes in Mathematics, 984)

Mobius Functions, Incidence Algebras and Power Series Representations (Lecture Notes in Mathematics, 1202)

Nonstandard Analysis - Recent Developments (Lecture Notes in Mathematics, 983)

Models of ZF-Set Theory

Conference in Mathematical Logic - London '70 (Lecture Notes in Mathematics, 255)

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Proof Theory The First Step into Impredicativity

Proof Theory An Introduction

The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)

Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)

Description