Normal view MARC view ISBD view

Mathematical logic / (Record no. 5269)

000 -LEADER
fixed length control field	01759fam a2200397 a 4500
001 - CONTROL NUMBER
control field	1530581
003 - CONTROL NUMBER IDENTIFIER
control field	BD-DhUL
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20140822153611.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	931227s1994 nyua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number	93050621
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	0387942580 (New York : acidfree paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	3540942580 (Berlin : acidfree paper)
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)29667924
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)ocm29667924
035 ## - SYSTEM CONTROL NUMBER
System control number	(NNC)1530581
040 ## - CATALOGING SOURCE
Original cataloging agency	DLC
Transcribing agency	DLC
Modifying agency	DLC
--	BD-DhUL
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title	eng
Language code of original	ger
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA9
Item number	.E2213 1994
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	511.3
Edition number	20
Item number	EBM
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Ebbinghaus, Heinz-Dieter,
Dates associated with a name	1939-
240 10 - UNIFORM TITLE
Uniform title	Einführung in die mathematische Logik.
Language of a work	English
245 10 - TITLE STATEMENT
Title	Mathematical logic /
Statement of responsibility, etc.	H.-D. Ebbinghaus, J. Flum, W. Thomas.
250 ## - EDITION STATEMENT
Edition statement	2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc.	New York :
Name of publisher, distributor, etc.	Springer-Verlag,
Date of publication, distribution, etc.	c1994.
300 ## - PHYSICAL DESCRIPTION
Extent	x, 289 p. :
Other physical details	ill. ;
Dimensions	25 cm.
365 ## - TRADE PRICE
Price type code	USD
Price amount	59.10
490 1# - SERIES STATEMENT
Series statement	Undergraduate texts in mathematics
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Includes bibliographical references (p. [277]-279) and indexes.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	I. Introduction -- II. Syntax of First-Order Languages -- III. Semantics of First-Order Languages -- IV. A Sequent Calculus -- V. The Completeness Theorem -- VI. The Lowenheim-Skolem and the Compactness Theorem -- VII. The Scope of First-Order Logic -- VIII. Syntactic Interpretations and Normal Forms -- IX. Extensions of First-Order Logic -- X. Limitations of the Formal Method -- XI. Free Models and Logic Programming -- XII. An Algebraic Characterization of Elementary Equivalence -- XIII. Lindstrom's Theorems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Logic, Symbolic and mathematical.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Flum, Jörg.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Thomas, Wolfgang,
Dates associated with a name	1947-
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Undergraduate texts in mathematics.
900 ## - EQUIVALENCE OR CROSS-REFERENCE-PERSONAL NAME [LOCAL, CANADA]
Numeration	TOC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type	Books

Holdings
Price effective from	Date last seen	Permanent Location	Not for loan	Date acquired	Source of classification or shelving scheme	Koha item type	Lost status	Withdrawn status	Copy number	Source of acquisition	Collection code	Damaged status	Shelving location	Barcode	Current Location	Full call number
2014-08-22	2014-08-22	Dhaka University Science Library		1999-01-13		Books			1	purcheses	Non Fiction		General Stacks	373963	Dhaka University Science Library	511.3 EBM

Dhaka University Library Online

Mathematical logic / (Record no. 5269)