Finite Model Theory (Record no. 18061)

MARC details
000 -LEADER
fixed length control field 01068nmm a22003015u 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210108221204.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2006 xx j eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540287889
050 04 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.7
Item number E23 2006
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ebbinghaus, Heinz-Dieter.
245 10 - TITLE STATEMENT
Title Finite Model Theory
Medium [electronic resource] /
Statement of responsibility, etc by Heinz-Dieter Ebbinghaus, Jörg Flum.
250 ## - EDITION STATEMENT
Edition statement Second Revised and Enlarged Edition 1999.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin, Heidelberg :
Name of publisher, distributor, etc Springer-Verlag Berlin Heidelberg,
Date of publication, distribution, etc 2006.
300 ## - PHYSICAL DESCRIPTION
Other physical details v.: digital
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Springer Monographs in Mathematics,
International Standard Serial Number 1439-7382
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Foundations
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Formal Languages
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Flum, Jörg.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/3-540-28788-4
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Biblioteca del Cogreso de los Estados Unidos
Koha item type Libro Electrónico
Holdings
Estado de pérdida Fuente de clasificación Estado del daño No para préstamo Ubicación permanente Ubicación actual Apartado o colección Fecha de adquisición Edición Área del conocimiento Total Checkouts Clasificación Código de Barras Date last seen Número de copia Identificador universal de recursos URL Costo por reposición Tipo de recurso Nota pública
  Biblioteca del Cogreso de los Estados Unidos     Biblioteca Digital Biblioteca Digital Colección Digital 08/01/2021 1a ed. Ciencias Naturales y Exactas   QA9.7 E23 2006 BDIG00009779 08/01/2021 C : 1 http://dx.doi.org/10.1007/3-540-28788-4 1.00 Libro Electrónico SpringerLink