English
Türkçe
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
Labelled deductive systems / (Gabbay, Dov M.,)
Bibliographical information (record 3680)
Labelled deductive systems /
Author:
Gabbay, Dov M.,
Search Author in Amazon Books
Publisher:
Oxford University Press,
ISBN:
0198538332 (v. 1)
Edition:
1996-
Classification:
BC71
Dewey:
160
Detailed notes
- Includes bibliographical references and index.
Related links
-
Logic
Items (1)
Barcode
Status
Library
Section
1188480838
Item available
NEU Grand Library1st Floor (BC71 .G3 1996)
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.