skip to content
Logic : a brief course Preview this item
ClosePreview this item
Checking...

Logic : a brief course

Author: Daniele Mundici
Publisher: Milan ; New York : Springer, ©2012.
Series: Unitext, 60.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic.

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Daniele Mundici
ISBN: 9788847023604 8847023602
OCLC Number: 830439922
Notes: Includes index.
Description: xi, 124 pages : illustrations ; 24 cm.
Contents: pt. I. Propositional Logic --
Introduction --
Fundamental Logical Notions --
The Resolution Method --
Robinson's Completeness Theorem --
Fast Classes for DPP --
Gödel's Compactness Theorem --
Propositional Logic: Syntax --
Propositional Logic: Semantics --
Normal Forms --
Recap: Expressivity and Efficiency --
pt. II. Predicate Logic --
The Quantifiers "There Exists" and "For All" --
Syntax of Predicate Logic --
The Meaning of Clauses --
Gödel's Completeness Theorem for the Logic of Clauses --
Equality Axioms --
The Predicate Logic L --
Final Remarks.
Series Title: Unitext, 60.
Other Titles: Logica.
Responsibility: Daniele Mundici.

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"This is a short introduction to mathematical logic that covers basic material in 17 chapters ... . The book is interspersed with several small references to various scholars 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/830439922> # Logic : a brief course
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "830439922" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3944298187#Place/milan> ; # Milan
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/it> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3944298187#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e23/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2012" ;
   schema:creator <http://viaf.org/viaf/113260909> ; # Daniele Mundici
   schema:datePublished "2012" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3944298187> ; # Logica.
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3944298187#Series/unitext> ; # Unitext ;
   schema:isPartOf <http://worldcat.org/issn/2038-5722> ; # Unitext - La Matematica per il 3+2,
   schema:name "Logic : a brief course"@en ;
   schema:productID "830439922" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/830439922#PublicationEvent/milan_new_york_springer_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3944298187#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9788847023604> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/830439922> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/3944298187#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

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

<http://viaf.org/viaf/113260909> # Daniele Mundici
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "Mundici" ;
   schema:givenName "Daniele" ;
   schema:name "Daniele Mundici" ;
    .

<http://worldcat.org/entity/work/id/3944298187> # Logica.
   schema:name "Logica." ;
    .

<http://worldcat.org/isbn/9788847023604>
    a schema:ProductModel ;
   schema:isbn "8847023602" ;
   schema:isbn "9788847023604" ;
    .

<http://worldcat.org/issn/2038-5722> # Unitext - La Matematica per il 3+2,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/830439922> ; # Logic : a brief course
   schema:issn "2038-5722" ;
   schema:name "Unitext - La Matematica per il 3+2," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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