This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theo……続きを見る
This book focuses on logic and logical language. It examines different types of words, terms and propositions in detail. While discussing the nature of propositions, it illustrates the procedures us……続きを見る
