Project Euclid
mathematics and statistics online
Help
Contact
RSS
Log in
All
-----
Title
Author(s)
Abstract
Subject
Keyword
All Fields
Full Text
-----
About
or
Browse by
Title
Publisher
Discipline
About
News and events
Governance
Advisory Board
Project Euclid publishers
Policies
Ways to support Project Euclid
Contact Project Euclid
for Researchers
Manage my account
Accessing Project Euclid
Access levels
Pay-per-view and print-on-demand
for Librarians
Manage my account
Access levels
Collections, titles, and ordering
Librarian tools
for Publishers
Manage my account
Why partner with Project Euclid?
Benefits of Euclid Prime
Features of Project Euclid
Discovery service partners
Alloy — A Publishing Services Alliance
Publisher tools
Notre Dame Journal of Formal Logic
Info
Advance publication
Current issue
All issues
Search
Notre Dame J. Formal Logic
← Previous issue
Next issue →
Volume 40, Number 3
Summer 1999
Select/deselect all
Export citations
Table of Contents to Volume 40, Number 3
Abstract
PDF
A New Spectrum of Recursive Models
André Nies
; 307 - 314
More by André Nies
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Toward a Theory of Second-Order Consequence
Augustín Rayo
and
Gabriel Uzquiano
; 315 - 325
More by Augustín Rayo
Search this author in:
Google Scholar
Project Euclid
More by Gabriel Uzquiano
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Kripke Completeness of Infinitary Predicate Multimodal Logics
Yoshihito Tanaka
; 326 - 340
More by Yoshihito Tanaka
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
On the Consistency Strength of Two Choiceless Cardinal Patterns
Arthur W. Apter
; 341 - 345
More by Arthur W. Apter
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Powers of
2
Horst Herrlich
and
Kyriakos Keremedis
; 346 - 351
More by Kyriakos Keremedis
Search this author in:
Google Scholar
Project Euclid
More by Horst Herrlich
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
On Partial and Paraconsistent Logics
Reinhard Muskens
; 352 - 374
More by Reinhard Muskens
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Limits for Paraconsistent Calculi
Walter A. Carnielli
and
João Marcos
; 375 - 390
More by Walter A. Carnielli
Search this author in:
Google Scholar
Project Euclid
More by João Marcos
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Reconciling Aristotle and Frege
Alex Orenstein
; 391 - 413
More by Alex Orenstein
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Parry Syllogisms
Fred Johnson
; 414 - 419
More by Fred Johnson
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers
Michael White
; 420 - 446
More by Michael White
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Book Review: Paolo Mancuso.
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
Craig Fraser
; 447 - 454
More by Craig Fraser
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Book Review: Michael Resnik.
Mathematics as a Science of Patterns
Janet Folina
; 455 - 472
More by Janet Folina
Search this author in:
Google Scholar
Project Euclid
Abstract
Enhanced PDF
Back Page to Volume 40, Number 3
Abstract
PDF
Select/deselect all
Export citations
Export citations
Format:
Text (BibTeX)
Text (printer-friendly)
RIS (EndNote, ProCite, Reference Manager)
Delivery Method:
Download
Email
Please enter a valid email address.
Email sent.
© 2019 University of Notre Dame
Top
Duke University Press
Editorial Board
For Authors
Subscriptions
Credits
Note on Volumes 35-40
New content alerts
Email
RSS ToC
RSS Article
You have access to this content.
You have partial access to this content.
You do not have access to this content.
Turn Off MathJax
What is MathJax?
