Proof-Theoretic Methods in Nonclassical Logic --an Introduction

Open Access

VOL. 2 | 1998 Proof-Theoretic Methods in Nonclassical Logic --an Introduction

Hiroakira Ono

Editor(s) Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi

MSJ Memoirs, 1998: 207-254 (1998) DOI: 10.2969/msjmemoirs/00201C060

First Page PDF

CHAPTER
48 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Theories of Types and Proofs

Vol. 2 • 1 January 1998

Mathematical Society of Japan