Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Handbook of proof theory
      1. 
      Handbook of proof theory
      by 
      Buss, Samuel R.
      to access electronic resource via ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
      Format: 
      Excerpt: 
      Functions (M. Fairtlough, S.S. Wainer). Chapter IV. Subsystems of Set Theory and Second Order Number Theory
      Cover image for The rise of modern logic : from Leibniz to Frege
      2. 
      The rise of modern logic : from Leibniz to Frege
      by 
      Gabbay, Dov M., 1945-
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=3
      Format: 
      Excerpt: 
      -expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an