skip to content
Logic and Structure Preview this item
ClosePreview this item
Checking...

Logic and Structure

Author: Dirk Dalen
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980.
Series: Universitext.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic, using Gentzen's Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary  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:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dirk Dalen
ISBN: 9783662084021 3662084023
OCLC Number: 851289340
Description: 1 online resource (ix, 174 pages).
Contents: 0. Introduction --
1. Propositional Logic --
2. Predicate Logic --
3. Completeness and Applications --
4. Second-Order Logic --
5. Appendix --
6. Bibliography --
7. Gothic Alphabet --
8. Index.
Series Title: Universitext.
Responsibility: by Dirk Dalen.

Abstract:

A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic, using Gentzen's Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.

Reviews

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/851289340> # Logic and Structure
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "851289340" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1073331#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://dewey.info/class/511.3/e23/> ;
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1073331#Person/dalen_dirk> ; # Dirk Dalen
   schema:datePublished "1980" ;
   schema:description "A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic, using Gentzen's Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on Gödel's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system."@en ;
   schema:description "0. Introduction -- 1. Propositional Logic -- 2. Predicate Logic -- 3. Completeness and Applications -- 4. Second-Order Logic -- 5. Appendix -- 6. Bibliography -- 7. Gothic Alphabet -- 8. Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1073331> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0172-5939> ; # Universitext,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1073331#Series/universitext> ; # Universitext.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1073331#CreativeWork/> ;
   schema:name "Logic and Structure"@en ;
   schema:productID "851289340" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/851289340#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1073331#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://link.springer.com/10.1007/978-3-662-08402-1> ;
   schema:url <http://dx.doi.org/10.1007/978-3-662-08402-1> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3099915> ;
   schema:workExample <http://worldcat.org/isbn/9783662084021> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/851289340> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1073331#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1073331#Person/dalen_dirk> # Dirk Dalen
    a schema:Person ;
   schema:familyName "Dalen" ;
   schema:givenName "Dirk" ;
   schema:name "Dirk Dalen" ;
    .

<http://experiment.worldcat.org/entity/work/data/1073331#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

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

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

<http://link.springer.com/10.1007/978-3-662-08402-1>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/isbn/9783662084021>
    a schema:ProductModel ;
   schema:isbn "3662084023" ;
   schema:isbn "9783662084021" ;
    .

<http://worldcat.org/issn/0172-5939> # Universitext,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/851289340> ; # Logic and Structure
   schema:issn "0172-5939" ;
   schema:name "Universitext," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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