Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics, 212)

Description

Book by Scarpellini, Bruno

Keywords

MATHEMATICS_METHODOLOGY

1971Book

Author(s)Bruno Scarpellini

PublisherSpringer

ISBN9783540055419

LanguageEnglish

SpringerLink

Similar Books

Book

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)

Book

Proof Theory (Grundlehren der mathematischen Wissenschaften)

Book

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

Book

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Book

ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... 500) (English and German Edition)

Book

Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 (Lecture Notes in Mathematics, 337)

Book

Proof Theory An Introduction

Book

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics, 447)

Book

A Short Introduction to Intuitionistic Logic

Book

Proof Theory The First Step into Impredicativity