skip to content
An introduction to mathematical logic and type theory : to truth through proof Preview this item
ClosePreview this item
Checking...

An introduction to mathematical logic and type theory : to truth through proof

Author: P B Andrews
Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, 2002.
Series: Applied logic series, v. 27.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Summary:
"This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--Jacket.
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: P B Andrews
ISBN: 1402007639 9781402007637
OCLC Number: 50333720
Description: xviii, 390 pages : illustrations ; 25 cm.
Contents: Propositional Calculus --
The Language of P --
Supplement on Induction --
The Axiomatic Structure of P --
Semantics, Consistency, and Completeness of P --
Independence --
Propositional Connectives --
Compactness --
Ground Resolution --
First-Order Logic --
The Language of F --
The Axiomatic Structure of F --
Prenex Normal Form --
Semantics of F --
Independence --
Abstract Consistency and Completeness --
Supplement: Simplified Completeness Proof --
Equality --
Provability and Refutability --
Natural Deduction --
Gentzen's Theorem --
Semantic Tableaux --
Skolemization --
Refutations of Universal Sentences --
Herbrand's Theorem --
Unification --
Further Topics in First-Order Logic --
Duality --
Craig's Interpolation Theorem --
Beth's Definability Theorem --
Type Theory --
The Primitive Basis of Q[subscript 0] --
Elementary Logic in Q[subscript 0] --
Equality and Descriptions --
Semantics of Q[subscript 0] --
Completeness of Q[subscript 0] --
Formalized Number Theory --
Cardinal Numbers and the Axiom of Infinity --
Peano's Postulates --
Order --
Minimization --
Recursive Functions --
Primitive Recursive Functions and Relations --
Incompleteness and Undecidability --
Godel Numbering --
Godel's Incompleteness Theorems --
Essential Incompleteness --
Undecidability and Undefinability.
Series Title: Applied logic series, v. 27.
Responsibility: by Peter B. Andrews.
More information:

Abstract:

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as  Read more...

Reviews

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

Tags

Be the first.
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/50333720> # An introduction to mathematical logic and type theory : to truth through proof
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "50333720" ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/795892851#Place/dordrecht> ; # Dordrecht
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/na> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/795892851#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/795892851#Topic/typentheorie> ; # Typentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/795892851#Topic/beweisbarkeit> ; # Beweisbarkeit
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/1159972> ; # Type theory
    schema:bookEdition "2nd ed." ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/69161404> ; # Peter Bruce Andrews
    schema:datePublished "2002" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/795892851> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/795892851#Series/applied_logic_series> ; # Applied logic series ;
    schema:name "An introduction to mathematical logic and type theory : to truth through proof"@en ;
    schema:productID "50333720" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/50333720#PublicationEvent/dordrecht_boston_kluwer_academic_publishers_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/795892851#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
    schema:reviews <http://www.worldcat.org/title/-/oclc/50333720#Review/-607577576> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0814/2002031656-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9781402007637> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA252127> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA250903> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/50333720> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/795892851#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
    schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/795892851#Series/applied_logic_series> # Applied logic series ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/50333720> ; # An introduction to mathematical logic and type theory : to truth through proof
    schema:name "Applied logic series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/795892851#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://id.worldcat.org/fast/1159972> # Type theory
    a schema:Intangible ;
    schema:name "Type theory"@en ;
    .

<http://viaf.org/viaf/69161404> # Peter Bruce Andrews
    a schema:Person ;
    schema:birthDate "1937" ;
    schema:familyName "Andrews" ;
    schema:givenName "Peter Bruce" ;
    schema:givenName "P. B." ;
    schema:name "Peter Bruce Andrews" ;
    .

<http://worldcat.org/isbn/9781402007637>
    a schema:ProductModel ;
    schema:isbn "1402007639" ;
    schema:isbn "9781402007637" ;
    .

<http://www.worldcat.org/title/-/oclc/50333720>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/50333720> ; # An introduction to mathematical logic and type theory : to truth through proof
    schema:dateModified "2018-05-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/50333720#Review/-607577576>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/50333720> ; # An introduction to mathematical logic and type theory : to truth through proof
    schema:reviewBody ""This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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