Holdings Information

Bibliographic Record Display

• Title:Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
  
•    
• Other Contributors/Collections:Abramsky, S.
  Gabbay, Dov M., 1945-
  Maibaum, Thomas S. E., 1947-
  
• Published/Created:Oxford : Clarendon Press, 1992-
  

• Holdings

  Holdings Record Display

  • Location:MAA LIBRARY (IKB) stacksWhere is this?
    
  • Call Number: QA76 .H2785
    
  • Number of Items:4
    
  • Status:Available
    
  • Location Has:V.1-4
    
    

   
• Library of Congress Subjects:Computer science.
  Logic, Symbolic and mathematical.
  
• Description:volumes.
  
• ISBN:0198537352 (v. 1)
  0198537611 (v. 2) :
  019853762X (v.3)
  0198537808 (v.4)
  
• Contents:v. 1. Background: Mathematical structures.
  v. 2. Background: computational structures.
  v.3 Semantic structures.
  v. 4. Semantic modelling.