The SCEAS System
Navigation Menu

Journals in DBLP

Notre Dame Journal of Formal Logic
1996, volume: 37, number: 3

  1. Walter P. Van Stigt
    Introduction to Life, Art, and Mysticism. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:381-387 [Journal]
  2. Luitzen Egbertus Jan Brouwer
    Life, Art, and Mysticism. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:389-429 [Journal]
  3. Loredana Biacino, Giangiacomo Gerla
    Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:431-439 [Journal]
  4. Igor Urbas
    Dual-Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:440-451 [Journal]
  5. Kai F. Wehmeier
    Classical and Intuitionistic Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:452-461 [Journal]
  6. Franco Barbanera, Stefano Berardi
    A Constructive Valuation Semantics for Classical Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:462-482 [Journal]
  7. Max A. Freund
    Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:483-505 [Journal]
  8. Enrique Casanovas, Pilar Dellunde, Ramon Jansana
    On Elementary Equivalence for Equality-free Logic. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:3, pp:506-522 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002