Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 29 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 29 · NO. 2 | Spring 1988
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 29, issue 2 (1988)
Notre Dame J. Formal Logic 29 (2), (Spring 1988)
No abstract available
DOWNLOAD PAPER
Articles
Partially generic formulas in arithmetic.
Per Lindström
Notre Dame J. Formal Logic 29 (2), 185-192, (Spring 1988) DOI: 10.1305/ndjfl/1093637867
KEYWORDS: 03F30, 03D25
No abstract available
DOWNLOAD PAPER
Generalized Hardy fields in several variables.
Leonardo Pasini
Notre Dame J. Formal Logic 29 (2), 193-197, (Spring 1988) DOI: 10.1305/ndjfl/1093637868
KEYWORDS: 12D15, 03C60, 26E35, 32C05, 58A07
No abstract available
DOWNLOAD PAPER
A note on arbitrarily complex recursive functions.
Carl H. Smith
Notre Dame J. Formal Logic 29 (2), 198-207, (Spring 1988) DOI: 10.1305/ndjfl/1093637869
KEYWORDS: 03D15, 68Q15
No abstract available
DOWNLOAD PAPER
The Lindenbaum construction and decidability.
Stewart Shapiro
Notre Dame J. Formal Logic 29 (2), 208-213, (Spring 1988) DOI: 10.1305/ndjfl/1093637870
KEYWORDS: 03D35, 03D25
No abstract available
DOWNLOAD PAPER
Alphabetical order.
George Boolos
Notre Dame J. Formal Logic 29 (2), 214-215, (Spring 1988) DOI: 10.1305/ndjfl/1093637871
KEYWORDS: 04A10, 03D05, 04A05, 06A05
No abstract available
DOWNLOAD PAPER
Epistemic set theory.
William N. Reinhardt
Notre Dame J. Formal Logic 29 (2), 216-228, (Spring 1988) DOI: 10.1305/ndjfl/1093637872
KEYWORDS: 03E70, 03B45
No abstract available
DOWNLOAD PAPER
Approximate truth and Ł ukasiewicz logic.
T. S. Weston
Notre Dame J. Formal Logic 29 (2), 229-234, (Spring 1988) DOI: 10.1305/ndjfl/1093637873
KEYWORDS: 03B50, 03B52
No abstract available
DOWNLOAD PAPER
On proving functional incompleteness in symbolic logic classes.
Francis Jeffry Pelletier, W. David Sharp
Notre Dame J. Formal Logic 29 (2), 235-248, (Spring 1988) DOI: 10.1305/ndjfl/1093637874
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
Mindful logic: how to resolve some paradoxes of identity.
Russell Pannier, Thomas Sullivan
Notre Dame J. Formal Logic 29 (2), 249-266, (Spring 1988) DOI: 10.1305/ndjfl/1093637875
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Precisification by means of vague predicates.
Roy A. Sorensen
Notre Dame J. Formal Logic 29 (2), 267-275, (Spring 1988) DOI: 10.1305/ndjfl/1093637876
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 29, issue 2 (1988)
Notre Dame J. Formal Logic 29 (2), (Spring 1988)
No abstract available
DOWNLOAD PAPER
Back to Top