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: London, Macmillan, 1971.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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: 0333115899 9780333115893 0333115902 9780333115909
OCLC Number: 154139
Description: xiii, 288 pages illustrations 23 cm

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.
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/154139> # Metalogic: an introduction to the metatheory of standard first order logic.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "154139" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/metatheorie> ; # Metatheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/fundamentele_informatica> ; # Fundamentele informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/consistentie_logica> ; # Consistentie (logica)
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://id.worldcat.org/fast/925803> ; # First-order logic
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/theorema_van_godel> ; # Theorema van Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_du_premier_ordre> ; # Logique du premier ordre
   schema:about <http://dewey.info/class/511.3/e18/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/885157#Topic/formele_talen> ; # Formele talen
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/885157#Person/hunter_geoffrey> ; # Geoffrey Hunter
   schema:datePublished "1971" ;
   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 "154139" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/154139#PublicationEvent/london_macmillan_1971> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/885157#Agent/macmillan> ; # Macmillan
   schema:workExample <http://worldcat.org/isbn/9780333115893> ;
   schema:workExample <http://worldcat.org/isbn/9780333115909> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB7105074> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/154139> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/885157#Person/hunter_geoffrey> # Geoffrey Hunter
    a schema:Person ;
   schema:familyName "Hunter" ;
   schema:givenName "Geoffrey" ;
   schema:name "Geoffrey Hunter" ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Topic/consistentie_logica> # Consistentie (logica)
    a schema:Intangible ;
   schema:name "Consistentie (logica)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Topic/fundamentele_informatica> # Fundamentele informatica
    a schema:Intangible ;
   schema:name "Fundamentele informatica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Topic/logique_du_premier_ordre> # Logique du premier ordre
    a schema:Intangible ;
   schema:name "Logique du premier ordre"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Topic/theorema_van_godel> # Theorema van Gödel
    a schema:Intangible ;
   schema:name "Theorema van Gödel"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/885157#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
   schema:name "Wiskundige logica"@en ;
    .

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

<http://worldcat.org/isbn/9780333115893>
    a schema:ProductModel ;
   schema:isbn "0333115899" ;
   schema:isbn "9780333115893" ;
    .

<http://worldcat.org/isbn/9780333115909>
    a schema:ProductModel ;
   schema:isbn "0333115902" ;
   schema:isbn "9780333115909" ;
    .

<http://www.worldcat.org/title/-/oclc/154139>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/154139> ; # Metalogic: an introduction to the metatheory of standard first order logic.
   schema:dateModified "2016-05-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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