A Course on Mathematical Logic (Record no. 38505)

MARC details
000 -LEADER
fixed length control field 02937n a2200397#a 4500
001 - CONTROL NUMBER
control field 5000076
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221213140638.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr||||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2008 xxu| s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387762777
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-0-387-76277-7
Source of number or code doi
035 ## - SYSTEM CONTROL NUMBER
System control number 978-0-387-76277-7
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBC
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBCD
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code MAT018000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Matemáticas Gerais-(inclusive alguns textos elementares sobre assuntos específicos)
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Srivastava, S. M
9 (RLIN) 9360
245 12 - TITLE STATEMENT
Title A Course on Mathematical Logic
Medium [electronic resource]/
Statement of responsibility, etc. by S. M. Srivastava.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. Springer New York,
Date of publication, distribution, etc. 2008.
300 ## - PHYSICAL DESCRIPTION
Other physical details digital.
490 0# - SERIES STATEMENT
Series statement Universitext
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Preface -- Syntax of first order logic -- Semantics of first-order languages -- Propositional logic -- Proof and metatheorems in first-order logic -- Completeness theorem and model theory -- Recursive functions and arithmetization of theories -- Incompleteness theorems and recursion theory -- References -- Index .
520 ## - SUMMARY, ETC.
Summary, etc. This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability. The main prerequisite for this book is the willingness to work at a reasonable level of mathematical rigor and generality. Shashi Mohan Srivastava is a Professor at the Indian Statistical Institute, Kolkata, India. He is also the author of A Course on Borel Sets, GTM 180 .
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics
9 (RLIN) 43458
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 9813
697 ## - LOCAL SUBJECT
Local Subject Matemáticas Gerais-
Description subdivision (inclusive alguns textos elementares sobre assuntos específicos)
Linkage 23752
710 1# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service).
9 (RLIN) 8857
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9780387762753
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Universitext.
9 (RLIN) 44332
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="http://dx.doi.org/10.1007/978-0-387-76277-7">http://dx.doi.org/10.1007/978-0-387-76277-7</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type E-Book

No items available.

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha