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.

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


<http://www.worldcat.org/oclc/233972395>
library:oclcnum"233972395"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/233972395>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:author
schema:bookFormatschema:EBook
schema:datePublished"2008"
schema:exampleOfWork<http://worldcat.org/entity/work/id/158307196>
schema:inLanguage"en"
schema:name"A course on mathematical logic"
schema:numberOfPages"140"
schema:publisher
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
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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