Methods Of Cut-elimination DOWNLOAD HERE
1 Preface - 2 Introduction - 3 Preliminaries - 4 Complexity of Cut-Elimination - 5 Reduction and Elimination - 6 Cut-Elimination by Resolution - 7 Extensions of CERES - 8 Applications of CERES - 9 CERES in Nonclassical Logics - 10 Related Research EAN/ISBN : 9789400703209 Publisher(s): Springer, Berlin, Springer Science & Business Media Discussed keywords: Schnitt (mathemat.) Format: ePub/PDF Author(s): Baaz, Matthias - Leitsch, Alexander
DOWNLOAD HERE
Similar manuals: