Symbolic logic and mechanical theorem proving / (Kayıt no. 77467)

MARC ayrıntıları
000 -LEADER
fixed length control field	naa a22 7ar4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	060322\| d
001 - CONTROL NUMBER
control field	91503
040 ## - CATALOGING SOURCE
Original cataloging agency	NEU
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0121703509
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA9
100 ## - MAIN ENTRY--PERSONAL NAME
9 (RLIN)	222424
Personal name	Chang, Chin-Liang.
245 10 - TITLE STATEMENT
Title	Symbolic logic and mechanical theorem proving /
Statement of responsibility, etc.	Chin-Liang Chang, Richard Char-Tung Lee.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	San Diego :
Name of publisher, distributor, etc.	Academic Press,
Date of publication, distribution, etc.	[1987], c1973.
300 ## - PHYSICAL DESCRIPTION
Extent	331 p. :
Other physical details	ill. ;
Dimensions	24 cm.
440 0# - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Computer science classics
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note	Includes bibliographical references (p. 309-324) and index.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Logic Symbolic and mathematical
9 (RLIN)	374123
700 1# - ADDED ENTRY--PERSONAL NAME
9 (RLIN)	222425
Personal name	Lee, Richard CharTung,
Dates associated with a name	1939-
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Call number prefix	QA0000009C4831987
Koha item type	Book

Mevcut
Total checkouts	Full call number	Barcode	Koha item type	Lost status	Damaged status	Not for loan	Withdrawn status	Home library	Current library	Shelving location
	QA9 .C483 1987	2532403778	Book					NEU Grand Library	NEU Grand Library	General Collection