skip to content
First-order logic : an introduction Preview this item
ClosePreview this item
Checking...

First-order logic : an introduction

Author: Leigh S Cauman; Ti-Grace Atkinson
Publisher: [Place of publication not identified] : [publisher not identified], 1995.
Edition/Format:   Print book : English : RevView 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: Leigh S Cauman; Ti-Grace Atkinson
OCLC Number: 34125045
Notes: "A number of graduate students ... and undergraduates ... used the book while it was being revised for publication; particularly helpful in the work of revision were Jeffrey Barrett, John Roe, Ti-Grace Atkinson, James Murray, and Floyde Bodden"--Preface.
"CWRU notes"--Cover.
"Phil 201"--Cover.
"Ti-Grace Atkinson"--Cover.
Description: 1 volume (various pagings) ; 28 cm
Responsibility: Leigh S. Cauman.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/34125045> # First-order logic : an introduction
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "34125045" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890399728#Place/place_of_publication_not_identified> ; # Place of publication not identified
   schema:about <http://id.loc.gov/authorities/classification/BC108> ;
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:bookEdition "Rev." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/74412919> ; # Ti-Grace Atkinson
   schema:creator <http://experiment.worldcat.org/entity/work/data/890399728#Person/cauman_leigh_s> ; # Leigh S. Cauman
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890399728> ;
   schema:inLanguage "en" ;
   schema:name "First-order logic : an introduction"@en ;
   schema:productID "34125045" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/34125045#PublicationEvent/place_of_publication_not_identified_publisher_not_identified_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890399728#Agent/publisher_not_identified> ; # [publisher not identified]
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/34125045> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890399728#Agent/publisher_not_identified> # [publisher not identified]
    a bgn:Agent ;
   schema:name "[publisher not identified]" ;
    .

<http://experiment.worldcat.org/entity/work/data/890399728#Person/cauman_leigh_s> # Leigh S. Cauman
    a schema:Person ;
   schema:familyName "Cauman" ;
   schema:givenName "Leigh S." ;
   schema:name "Leigh S. Cauman" ;
    .

<http://experiment.worldcat.org/entity/work/data/890399728#Place/place_of_publication_not_identified> # Place of publication not identified
    a schema:Place ;
   schema:name "Place of publication not identified" ;
    .

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

<http://viaf.org/viaf/74412919> # Ti-Grace Atkinson
    a schema:Person ;
   schema:familyName "Atkinson" ;
   schema:givenName "Ti-Grace" ;
   schema:name "Ti-Grace Atkinson" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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