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 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...

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 p.)
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:

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://viaf.org/viaf/66622465> ; # 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: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:numberOfPages "140" ;
    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://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> ;
    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#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://viaf.org/viaf/66622465> # Shashi Mohan Srivastava
    a schema:Person ;
    schema:familyName "Srivastava" ;
    schema:givenName "Shashi Mohan" ;
    schema:givenName "S. M." ;
    schema:name "Shashi Mohan Srivastava" ;
    .

<http://worldcat.org/isbn/9780387762753>
    a schema:ProductModel ;
    schema:bookFormat schema:Paperback ;
    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.