لیست کتاب های کلمه کلیدی: #Proof-theoretic

Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Published on: 2007
Unordered Logic and Foundations English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the …

Algebraic Proof-theoretic Non-classical Logics Mundici
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Published on: 2007
Unordered Logic and Foundations English

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the …

Algebraic Proof-theoretic Non-classical Logics Mundici

Page of