Analysis and synthesis of logics (Record no. 1078)

MARC details
000 -LEADER
fixed length control field 00369nam a2200109Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230620s9999||||xx |||||||||||||| ||und||
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number T08 CAR.C
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Carnielli, Walter ...[et al.]
245 #0 - TITLE STATEMENT
Title Analysis and synthesis of logics
Remainder of title how to cut and paste reasoning systems
Statement of responsibility, etc Carnielli, Walter ...[et al.]
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Springer
Year of publication 2008
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Lost status Damaged status Permanent Location Current Location Shelving location Date acquired Cost, normal purchase price Full call number Accession Number Koha item type
    Nalanda Library Nalanda Library Circulation Books 20/06/2023 10976.00 511.3 T08 CAR.C 1749 Books