//]]>

Mathematical Logic and Model Theory (Record no. 22942)

000 -LEADER
fixed length control field 02629nam a22004215i 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140310151446.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110822s2011 xxk| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781447121763
978-1-4471-2176-3
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA1-939
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510
Edition number 23
264 #1 -
-- London :
-- Springer London,
-- 2011.
912 ## -
-- ZDB-2-SMA
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Prestel, Alexander.
Relator term author.
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Mathematical Logic and Model Theory
Medium [electronic resource] :
Remainder of title A Brief Introduction /
Statement of responsibility, etc by Alexander Prestel, Charles N. Delzell.
300 ## - PHYSICAL DESCRIPTION
Extent X, 194 p.
Other physical details online resource.
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Universitext,
International Standard Serial Number 0172-5939
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note First-Order Logic -- Model Constructions -- Properties of Model Classes -- Model Theory of Several Algebraic Theories.
520 ## - SUMMARY, ETC.
Summary, etc Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differs significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic.  Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematics.
Topical term or geographic name as entry element Computer science.
Topical term or geographic name as entry element Mathematics.
Topical term or geographic name as entry element Mathematics, general.
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Delzell, Charles N.
Relator term author.
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
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9781447121756
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-1-4471-2176-3
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type E-Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Damaged status Lost status Withdrawn status Current location Full call number
2014-04-09AUM Main Library2014-04-09 2014-04-09 E-Book   AUM Main Library510
Languages: 
English |
العربية