logo
New Intuitionistic Logical Constants and Novikov Completeness
Substructural Implicational Logics Including the Relevant Logic E
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction
Definability of Leibniz Equality
Proof-Theoretic Modal PA-Completeness II
Logic, Language, and Information, Volume 1
Logic, Language, and Information, Volume 2
Frontiers of Combining Sys tems
Being Good and Being Logical
Meinongian Logic
Logical Frameworks for Truth and Abstraction
Intensionality and Truth. An Essay on the Philosophy of A. N. Prior
Studies on the History of Logic
Negation
Hilbert
Courant
Set Theory