Bibliography on Linear Logic, Journal of Logic and Computation, Mathematics Arxiv Front: LO Logic, Omega Bibliography, References in Finite Model Theory, Set Theory with a Universal Set, Shelah, Saharon

Practical Foundations of Mathematics, Proofs and Types

Annals of Pure and Applied Logic, Annals of Pure and Applied Logic - Top 25 Articles, Archive for Mathematical Logic, Bulletin of Symbolic Logic, Fundamenta Mathematicae, History and Philosophy of Logic, History and Philosophy of Logic, IEEE CS MVL-TC Bulletin, Israel Journal of Mathematics, Journal of Applied Non-Classical Logics

Abstract Service for Mathematical Logic