Editorial Office:
Notre Dame Journal of Formal Logic
University of Notre Dame
921 Flanner
Notre Dame, IN 46556-5611
574-631-6157
574-631-8609 (fax)
ndjfl@nd.edu

Editors:
Michael Detlefsen, University of Notre Dame
Peter Cholak, University of Notre Dame

Production Editor and Manager:
Martha Kummerer

Editorial Board:
Peter Aczel
G. Aldo Antonelli
Jeremy Avigad
John Baldwin
Patrick Blackburn
Patricia Blanchette
Sam Buss
Kosta Došen
Melvin Fitting
Matthew Foreman
Robert Goldblatt
Warren Goldfarb
Joel David Hamkins
Ulrich Kohlenbach
Jan Krajíček
Michael J. Kremer
Penelope Maddy
David E. Marker
Timothy McCarthy
Vann McGee
Colin McLarty
Lawrence S. Moss
Anand Pillay
Greg Restall
Stewart Shapiro
Sergei Starchenko
William W. Tait
Jouko Väänänen
Albert Visser
Timothy Williamson