Search 
 Quick Search 
 Program Books 
 Subject Guides 
 Acquisition Request 
 ILL Request 
 Hours 
 My Account 
   
AdvancedBasicBrowseHistory
Search:    Refine Search  
> You're searching: Greenfield Library
 
Item Information
 HoldingsHoldings
  Author Notes & Sketches
  Summary
  More Content
 
 
 Subjects
 
  •  
  • Logic, Symbolic and mathematical
     
  •  
  • Computer science
     
     Browse Catalog
     
      by title:
     
  •  
  •  What is a logical sy...
     
     
     
     MARC Display
    What is a logical system? / edited by D.M. Gabbay.
    View full image
    Clarendon Press ; Oxford University Press, 1994.
    Subjects
  • Logic, Symbolic and mathematical
  •  
  • Computer science
  • Series: 
    Studies in logic and computation ; 4
    Oxford science publications.
    Description: 
    x, 454 p. : ill. ; 25 cm.
    Contents: 
    What is logic? / I. Hacking -- Logic without model theory / R. Kowalski -- Diagrams and the concept of logical system / J. Barwise and E. Hammer -- General dynamic logic / J. van Benthem -- What is a deductive system? / J. Lambek -- The transmission of truth and the transitivity of deduction / N. Tennant -- What is a logical system? / D.M. Gabbay -- What is a logical system? / A. Avron -- Structure, consequence relation and logic / G. Crocco and L. Fariñas del Cerro -- Schematic consequence / P. Aczel -- Logical constants as punctuation marks / K. Dosěn -- Finitary inductively presented logics / S. Feferman -- A theory and its metatheory in FS(subscript O) / S. Matthews -- General logics and logical frameworks / N. Martí-Oliet and J. Meseguer -- General algebraic logic : a perspective on 'what is logic' / I. Németi and H. Andréka.
    Added authors: 
    Gabbay, Dov M., 1945-
    ISBN: 
    0198538596 (cloth)
    Add to my list 
    Copy/Holding information
    CollectionCall No.VolumeCopyStatus 
    Main StacksQA9.2.W48 199401Checked InRequest Copy
    Add Copy to MyList

    Format:HTMLPlain textDelimited
    Subject: 
    Email to:


    Horizon Information Portal 3.25_9382
     Powered by SirsiDynix
    © 2001-2013 SirsiDynix All rights reserved.
    Horizon Information Portal