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
4
, Issue
1
1
--
38
Zbigniew Jordan
.
Logical determinism
39
--
43
Nuel D. Belnap Jr.
,
Richmond H. Thomason
.
A rule-completeness theorem
44
--
47
Thoralf Skolem
.
Addendum to my article: "Proof of some theorems on recursively enumerable sets"
48
--
58
Nicholas Rescher
.
Avicenna on the logic of "conditional" propositions
59
--
66
Robert E. Clay
.
A standard form for Ćukasiewicz many-valued logics
67
--
79
Boleslaw Sobocinski
.
A note on the generalized continuum hypothesis. II
80
--
0
Richard Vesley
.
On strengthening intuitionistic logic