VOL. 27 · NO. 4 | October 1986
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 27 (4), (October 1986)
No abstract available
Articles
Alan Weir
Notre Dame J. Formal Logic 27 (4), 459-482, (October 1986) DOI: 10.1305/ndjfl/1093636761
KEYWORDS: 03F07, 03A05, 03B10
No abstract available
Daniel J. Dougherty
Notre Dame J. Formal Logic 27 (4), 483-503, (October 1986) DOI: 10.1305/ndjfl/1093636762
KEYWORDS: 03F20, 03B35, 68T15
No abstract available
Krister Segerberg
Notre Dame J. Formal Logic 27 (4), 504-522, (October 1986) DOI: 10.1305/ndjfl/1093636763
KEYWORDS: 03B45
No abstract available
Matthias Baaz
Notre Dame J. Formal Logic 27 (4), 523-527, (October 1986) DOI: 10.1305/ndjfl/1093636764
KEYWORDS: 03B60, 03F99
No abstract available
E. C. W. Krabbe, H. Mulder, A. Visser, D. van Dalen
Notre Dame J. Formal Logic 27 (4), 528-532, (October 1986) DOI: 10.1305/ndjfl/1093636765
KEYWORDS: 03F30, 03B55, 03F55
No abstract available
Josep M. Font
Notre Dame J. Formal Logic 27 (4), 533-546, (October 1986) DOI: 10.1305/ndjfl/1093636766
KEYWORDS: 03B45, 03F55
No abstract available
A. S. Troelstra
Notre Dame J. Formal Logic 27 (4), 547-550, (October 1986) DOI: 10.1305/ndjfl/1093636767
KEYWORDS: 03F05, 03B40
No abstract available
Zdzisław Dywan
Notre Dame J. Formal Logic 27 (4), 551-555, (October 1986) DOI: 10.1305/ndjfl/1093636768
KEYWORDS: 03B45, 03B99
No abstract available
Alberto Zanardo
Notre Dame J. Formal Logic 27 (4), 556-564, (October 1986) DOI: 10.1305/ndjfl/1093636769
KEYWORDS: 03B45
No abstract available
Richard Butrick
Notre Dame J. Formal Logic 27 (4), 565-571, (October 1986) DOI: 10.1305/ndjfl/1093636770
KEYWORDS: 03B60
No abstract available
Martin M. Zuckerman
Notre Dame J. Formal Logic 27 (4), 572-578, (October 1986) DOI: 10.1305/ndjfl/1093636771
KEYWORDS: 04A10
No abstract available
Andreas Blass
Notre Dame J. Formal Logic 27 (4), 579-591, (October 1986) DOI: 10.1305/ndjfl/1093636772
KEYWORDS: 03E05, 03C20, 03C62, 03E35
No abstract available
Guus Broesterhuizen, J. Wierzejewski
Notre Dame J. Formal Logic 27 (4), 592-605, (October 1986) DOI: 10.1305/ndjfl/1093636773
KEYWORDS: 03C52
No abstract available
Back Matter
Notre Dame J. Formal Logic 27 (4), 607-609, (October 1986)
No abstract available
Notre Dame J. Formal Logic 27 (4), (October 1986)
No abstract available
Back to Top