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) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top