Notre Dame Journal of Formal Logic

267	--	287	Roman Kossak, James H. Schmerl. On Cofinal Submodels and Elementary Interstices
289	--	296	Stefan Hetzl. The Computational Content of Arithmetical Proofs
297	--	318	Simon Hewitt. The Logic of Finite Order
319	--	345	Guram Bezhanishvili, Joel Lucero-Bryan. More on d-Logics of Subspaces of the Rational Numbers
347	--	350	Jeremy Avigad. Uncomputably Noisy Ergodic Limits
351	--	371	Diego Rojas-Rebolledo. Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets
373	--	395	Jared Corduan, François G. Dorais. n
397	--	412	Sean Cox. 2 Whose Associated Forcings Are Proper
413	--	428	Fredrik Engström, Richard Kaye. Transplendent Models: Expansions Omitting a Type

External Links