Normal view MARC view ISBD view

Symbolic logic mechanical theorem proving (Record no. 7813)

MARC details
000 -LEADER
fixed length control field	00703nam a2200217Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	130910s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0121703509
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title	eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Edition number	21st ed.
Classification number	511.3
Item number	CHA/S
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Chang, Chin-Liang
245 ## - TITLE STATEMENT
Title	Symbolic logic mechanical theorem proving
Statement of responsibility, etc	Chin-Liang Chang and Richard Char-Tung Lee
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Orlando :
Name of publisher, distributor, etc	Academic Press ,
Date of publication, distribution, etc	1973
300 ## - PHYSICAL DESCRIPTION
Extent	xiii, 308 p.
490 ## - SERIES STATEMENT
Series statement	A series of monographs and textbooks
--	edited by Werner Rheinboldt
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Bibliography: p. 309-31 includes index.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term	Computer architecture
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term	Computer mathematics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term	Mathematics
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Lee, Richard Char-Tung
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	English Books
Source of classification or shelving scheme	Dewey Decimal Classification

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
		Dewey Decimal Classification			NFLIC-FRI Library	NFLIC-FRI Library	11/02/2002		511.3 CHA/S	24715	15/11/2013	15/11/2013	English Books