researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Notre Dame Journal of Formal Logic
Home
Index
Info
Issue
Volume
58
, Issue
1
0
--
0
.
Erratum
0
--
0
.
Editorial Notice
1
--
19
Hartry Field
.
Disarming a Paradox of Validity
21
--
45
Guram Bezhanishvili
,
Nick Bezhanishvili
.
Locally Finite Reducts of Heyting Algebras and Canonical Formulas
47
--
78
Brice Halimi
.
Models as Universes
79
--
95
Osvaldo Guzmán González
,
Michael Hrusák
,
Arturo Martínez-Celis
.
Canjar Filters
97
--
105
Howard Becker
.
Strange Structures from Computable Model Theory
107
--
113
Owen Griffiths
.
Inferentialism and Quantification
115
--
125
Wen Chean Teh
.
Ramsey Algebras and Formal Orderly Terms
127
--
132
Sebastien Vasey
.
Indiscernible Extraction and Morley Sequences
133
--
154
Will Boney
.
Computing the Number of Types of Infinite Length