NEU GRAND LIBRARY
Opening Hours: Monday-Saturday, 08:00-20:00 | E-mail: library@neu.edu.tr
 

You are not logged in Show Basket
  Home     Advanced Search     Back  
Print
Add to Basket
  Brief display     MARC Display     Reserve  
Symbolic logic and mechanical theorem proving / (Chang, Chin-Liang.)
Bibliographical information (record 91503)
Help
Symbolic logic and mechanical theorem proving /
Author:
 Chang, Chin-Liang. Search Author in Amazon Books

Publisher:
Academic Press,
ISBN:
 0121703509
Edition:
 [1987], c1973.
Classification:
 QA9
Additional related names
Detailed notes
    - Includes bibliographical references (p. 309-324) and index.
Related links
Items (1)
Barcode
Status
Library
Section
2532403778
Item available
NEU Grand Library2nd Floor (QA9 .C483 1987)
General Collection
NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.