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
30
, Issue
2
161
--
196
Albert Visser
.
Peano s Smart Children: A Provability Logical Study of Systems with Built-in Consistency
197
--
206
Charles Steinhorn
,
Carlo Toffalori
.
The Boolean Spectrum of an o-Minimal Theory
207
--
223
James Garson
.
Modularity and Relevant Logic
224
--
240
Kees Doets
.
Monadic Pi::1:::::1:::-Theories of Pi::1:::::1:::-Properties
241
--
261
Peter Simons
.
Combinators and Categorial Grammar
262
--
267
Balázs Biró
.
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension
268
--
270
Norbert Brunner
.
Set-Mappings on Dedekind Sets
271
--
284
Fred Johnson
.
Models for Modal Syllogisms
285
--
290
George F. Schumm
.
Some Compactness Results for Modal Logic
291
--
307
John T. Kearns
.
Lesniewski s Strategy and Modal Logic