skip to content
A course on mathematical logic Preview this item
ClosePreview this item
Checking...

A course on mathematical logic

Author: S M Srivastava
Publisher: New York ; London : Springer, 2008.
Series: Universitext.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Srivastava, Shashi Mohan.
Course on mathematical logic.
New York ; London : Springer, 2008
(DLC) 2008920049
(OCoLC)180470520
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: S M Srivastava
ISBN: 9780387762777 0387762779 0387762752 9780387762753
OCLC Number: 233972395
Description: 1 online resource (x, 140 pages).
Contents: 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.
Series Title: Universitext.
Responsibility: Shashi Mohan Srivastava.
More information:

Abstract:

This book provides a distinctive, well-motivated introduction to mathematical logic. It starts with the definition of first order languages, proceeds through propositional logic, completeness  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "This is an introductory textbook on modern mathematical logic, aimed at upper-level undergraduates. ... The book is well-equipped with examples ... ." (Allen Stenger, MathDL, July, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/233972395> # A course on mathematical logic
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "233972395" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/158307196#Topic/logic> ; # Logic
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/158307196#Person/srivastava_s_m_shashi_mohan> ; # Shashi Mohan Srivastava
    schema:datePublished "2008" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/158307196> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/158307196#Series/universitext> ; # Universitext.
    schema:isSimilarTo <http://www.worldcat.org/oclc/180470520> ;
    schema:name "A course on mathematical logic"@en ;
    schema:productID "233972395" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/233972395#PublicationEvent/new_york_london_springer_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/158307196#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz280589654cov.htm> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0804/2008920049.html> ;
    schema:url <http://www.myilibrary.com?id=133828> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-76275-3> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9780387762777> ;
    schema:url <http://dx.doi.org/10.1007/978-0-387-76277-7> ;
    schema:url <http://site.ebrary.com/id/10230159> ;
    schema:workExample <http://worldcat.org/isbn/9780387762753> ;
    schema:workExample <http://worldcat.org/isbn/9780387762777> ;
    schema:workExample <http://dx.doi.org/10.1007/978-0-387-76277-7> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/233972395> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/158307196#Person/srivastava_s_m_shashi_mohan> # Shashi Mohan Srivastava
    a schema:Person ;
    schema:familyName "Srivastava" ;
    schema:givenName "Shashi Mohan" ;
    schema:givenName "S. M." ;
    schema:name "Shashi Mohan Srivastava" ;
    .

<http://experiment.worldcat.org/entity/work/data/158307196#Series/universitext> # Universitext.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/233972395> ; # A course on mathematical logic
    schema:name "Universitext." ;
    schema:name "Universitext" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://worldcat.org/isbn/9780387762753>
    a schema:ProductModel ;
    schema:isbn "0387762752" ;
    schema:isbn "9780387762753" ;
    .

<http://worldcat.org/isbn/9780387762777>
    a schema:ProductModel ;
    schema:isbn "0387762779" ;
    schema:isbn "9780387762777" ;
    .

<http://www.worldcat.org/oclc/180470520>
    a schema:CreativeWork ;
    rdfs:label "Course on mathematical logic." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/233972395> ; # A course on mathematical logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.