Polynomials with computable coefficients.

JOURNAL ARTICLE published 1 October 1970 in Notre Dame Journal of Formal Logic

Authors: R. L. Goodstein

An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals

JOURNAL ARTICLE published 1 July 2010 in Notre Dame Journal of Formal Logic

Authors: Kenshi Miyabe

Categorical Abstract Algebraic Logic: Models of π-Institutions

JOURNAL ARTICLE published 1 October 2005 in Notre Dame Journal of Formal Logic

Authors: George Voutsadakis

Transplendent Models: Expansions Omitting a Type

JOURNAL ARTICLE published 1 January 2012 in Notre Dame Journal of Formal Logic

Authors: Fredrik Engström | Richard W. Kaye

On a class of regular sets.

JOURNAL ARTICLE published 1 January 1964 in Notre Dame Journal of Formal Logic

Authors: Vladeta Vučković

Avicenna on the logic of ``conditional'' propositions.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic

Authors: Nicholas Rescher

A final note on S$1deg$ and the Brouwerian axioms.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

On weak and strong validity of rules for the propositional calculus.

JOURNAL ARTICLE published 1 January 1971 in Notre Dame Journal of Formal Logic

Authors: V. Frederick Rickey

Examination of the axiomatic foundations of a theory of change. II.

JOURNAL ARTICLE published 1 July 1969 in Notre Dame Journal of Formal Logic

Authors: Laurent Larouche

Decision procedures for ${rm S}2^0$ and ${rm T}^0$.

JOURNAL ARTICLE published 1 January 1964 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

Remarks about axiomatizations of certain modal systems.

JOURNAL ARTICLE published 1 January 1964 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

A theorem of Sierpiński on triads and the axiom of choice.

JOURNAL ARTICLE published 1 January 1964 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Syntax in Basic Laws §§29–32

JOURNAL ARTICLE published 1 April 2010 in Notre Dame Journal of Formal Logic

Authors: Bryan Pickel

Incompleteness via simple sets.

JOURNAL ARTICLE published 1 April 1971 in Notre Dame Journal of Formal Logic

Authors: Erik Ellentuck

Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief

JOURNAL ARTICLE published 1 January 2006 in Notre Dame Journal of Formal Logic

Authors: Patrick Maher

A note on the generalized continuum hypothesis. II.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic

Authors: Bolesław Sobociński

Book Review: Jody Azzouni. Tracking Reason: Proof, Consequence, and Truth.

JOURNAL ARTICLE published 1 January 2009 in Notre Dame Journal of Formal Logic

Authors: Gila Sher

Bounds on Weak Scattering

JOURNAL ARTICLE published 1 January 2007 in Notre Dame Journal of Formal Logic

Authors: Gerald E. Sacks

Concrete and abstract properties.

JOURNAL ARTICLE published 1 January 1964 in Notre Dame Journal of Formal Logic

Authors: Guido Küng

Obituary of Thoralf A. Skolem.

JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic