skip to content
Natural logic Preview this item
ClosePreview this item
Checking...

Natural logic

Author: Neil Tennant
Publisher: Edinburgh : Edinburgh University Press, ©1990.
Edition/Format:   Print book : English : Repr. with corrections, 1990View all editions and formats
Summary:

This introduction to mathematical logic contains notes, tables and exercises taking the student from first principles to more advanced theory. The author has based the text and exercises on his  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: Neil Tennant
ISBN: 0852245793 9780852245798
OCLC Number: 23047625
Description: 196 pages ; 22 cm
Contents: Form and structure of sentences; classical truth conditions; form and structure of proofs; propositional metalogic; first order metalogic; first order theories.
Responsibility: Neil Tennant.
More information:

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/23047625> # Natural logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "23047625" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/15198797#Place/edinburgh> ; # Edinburgh
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/stk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/15198797#Thing/mathematical_logic> ; # Mathematical logic
   schema:about <http://dewey.info/class/160/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/15198797#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:about <http://id.loc.gov/authorities/classification/BC108> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/15198797#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/15198797#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookEdition "Repr. with corrections, 1990." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1990" ;
   schema:creator <http://viaf.org/viaf/259339193> ; # Neil Tennant
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/15198797> ;
   schema:inLanguage "en" ;
   schema:name "Natural logic"@en ;
   schema:productID "23047625" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/23047625#PublicationEvent/edinburgh_edinburgh_university_press_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/15198797#Agent/edinburgh_university_press> ; # Edinburgh University Press
   schema:workExample <http://worldcat.org/isbn/9780852245798> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8945225> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/23047625> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/15198797#Agent/edinburgh_university_press> # Edinburgh University Press
    a bgn:Agent ;
   schema:name "Edinburgh University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/15198797#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
   schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/15198797#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

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

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

<http://viaf.org/viaf/259339193> # Neil Tennant
    a schema:Person ;
   schema:familyName "Tennant" ;
   schema:givenName "Neil" ;
   schema:name "Neil Tennant" ;
    .

<http://worldcat.org/isbn/9780852245798>
    a schema:ProductModel ;
   schema:isbn "0852245793" ;
   schema:isbn "9780852245798" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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