skip to content
Metalogic : an introduction to the metatheory of standard first order logic Preview this item
ClosePreview this item
Checking...

Metalogic : an introduction to the metatheory of standard first order logic

Author: Geoffrey Hunter
Publisher: Berkeley, Calif. : University of California Press, 1973.
Edition/Format:   Print book : English : Paper-bound edView all editions and formats
Summary:

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability  Read more...

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: Geoffrey Hunter
ISBN: 0520023560 9780520023567
OCLC Number: 1614967
Notes: Originally published as hbk.: ©1971.
Description: xiii, 288 pages : illustrations ; 23 cm
Other Titles: Metatheory of standard first order logic
Responsibility: Geoffrey Hunter.

Reviews

Editorial reviews

Publisher Synopsis

"A remarkable book, in a class by itself among logic books. It has the ideal combination of readability, thoroughness, and preciseness. . . . Recommended not only as a first course text, but also as 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/1614967> # Metalogic : an introduction to the metatheory of standard first order logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "1614967" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/885157#Place/berkeley_calif> ; # Berkeley, Calif.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_logica> ; # Formele logica
   schema:about <http://id.worldcat.org/fast/925803> ; # First-order logic
   schema:about <http://id.loc.gov/authorities/classification/BC128> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/metatheorie> ; # Metatheorie
   schema:alternateName "Metatheory of standard first order logic" ;
   schema:bookEdition "Paper-bound ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/286701691> ; # Geoffrey Hunter
   schema:datePublished "1973" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/885157> ;
   schema:inLanguage "en" ;
   schema:name "Metalogic : an introduction to the metatheory of standard first order logic"@en ;
   schema:productID "1614967" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1614967#PublicationEvent/berkeley_calif_university_of_california_press_1973> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/885157#Agent/university_of_california_press> ; # University of California Press
   schema:workExample <http://worldcat.org/isbn/9780520023567> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1614967> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/885157#Agent/university_of_california_press> # University of California Press
    a bgn:Agent ;
   schema:name "University of California Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Place/berkeley_calif> # Berkeley, Calif.
    a schema:Place ;
   schema:name "Berkeley, Calif." ;
    .

<http://id.worldcat.org/fast/925803> # First-order logic
    a schema:Intangible ;
   schema:name "First-order logic"@en ;
    .

<http://viaf.org/viaf/286701691> # Geoffrey Hunter
    a schema:Person ;
   schema:familyName "Hunter" ;
   schema:givenName "Geoffrey" ;
   schema:name "Geoffrey Hunter" ;
    .

<http://worldcat.org/isbn/9780520023567>
    a schema:ProductModel ;
   schema:isbn "0520023560" ;
   schema:isbn "9780520023567" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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