Paraconsistency:The Logical Way to the Inconsistent   应用数学

Contradictions, from Consistency to Inconsistency

Contradictions, from Consistency to Inconsistency   马克思主义哲学

Paraconsistent Logic: Consistency, Contradiction and Negation   马克思主义哲学

Paraconsistent Logic: Consistency, Contradiction and Negation   逻辑学

Model-Based Reasoning in Science and Technology   应用数学

Logic Without Frontiers. Festschrift for Walter Alexandre Carnielli on the Occasion of His 60th Birthday   逻辑学

Modalities and Multimodalities

Analysis and Synthesis of Logics   数理逻辑与数学基础

Modalities and Multimodalities

Modalities and Multimodalities

Computability: Computable Functions, Logic, and the Foundations of Mathematics   数理逻辑与数学基础

Analysis and Synthesis of Logics:How to Cut and Paste Reasoning Systems   数学史

Advances in Contemporary Logic and Computer Science   数理逻辑与数学基础

Computability:Computable Functions Logic and the Foundations of Math   数理逻辑与数学基础

Methods and Applications of Mathematical Logic   数理逻辑与数学基础