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
29
, Issue
2
185
--
192
Per Lindström
.
Partially generic formulas in arithmetic
193
--
197
Leonardo Pasini
.
Generalized Hardy fields in several variables
198
--
207
Carl H. Smith
.
A note on arbitrarily complex recursive functions
208
--
213
Stewart Shapiro
.
The Lindenbaum construction and decidability
214
--
215
George Boolos
.
Alphabetical order
216
--
228
William N. Reinhardt
.
Epistemic set theory
229
--
234
T. S. Weston
.
Approximate truth and Ł ukasiewicz logic
235
--
248
Francis Jeffry Pelletier
,
W. David Sharp
.
On proving functional incompleteness in symbolic logic classes
249
--
266
Russell Pannier
,
Thomas Sullivan
.
Mindful logic: how to resolve some paradoxes of identity
267
--
275
Roy A. Sorensen
.
Precisification by means of vague predicates