skip to content
Two papers on the predicate calculus, Preview this item
ClosePreview this item
Checking...

Two papers on the predicate calculus,

Author: Stephen Cole Kleene
Publisher: Providence, American Mathematical Society, 1952 [i.e. 1967]
Series: Memoirs of the American Mathematical Society, no. 10.
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: Stephen Cole Kleene
ISBN: 0821812106 9780821812105
OCLC Number: 1316616
Notes: Cover title.
"Second printing, with revision, 1967."
Description: 68 pages 26 cm.
Contents: Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J̲.--Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.
Series Title: Memoirs of the American Mathematical Society, no. 10.
Other Titles: Predicate calculus.
Responsibility: by S.C. Kleene.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

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/1316616> # Two papers on the predicate calculus,
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "1316616" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137905225#Place/providence> ; # Providence
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/137905225#CreativeWork/predicate_calculus> ; # Predicate calculus.
   schema:about <http://id.worldcat.org/fast/844119> ; # Calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenkalkul> ; # Prädikatenkalkül
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/41901318> ; # Stephen Cole Kleene
   schema:datePublished "1967" ;
   schema:datePublished "1952" ;
   schema:description "Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J̲.--Finite axiomatizability of theories in the predicate calculus using additional predicate symbols."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/137905225> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/137905225#Series/memoirs_of_the_american_mathematical_society> ; # Memoirs of the American Mathematical Society ;
   schema:name "Two papers on the predicate calculus,"@en ;
   schema:productID "1316616" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/1316616#PublicationEvent/providence_american_mathematical_society_1952_i_e_1967> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/137905225#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:workExample <http://worldcat.org/isbn/9780821812105> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/1316616> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137905225#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/137905225#Series/memoirs_of_the_american_mathematical_society> # Memoirs of the American Mathematical Society ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/1316616> ; # Two papers on the predicate calculus,
   schema:name "Memoirs of the American Mathematical Society ;" ;
   schema:name "Memoirs of the American Mathematical Society," ;
    .

<http://experiment.worldcat.org/entity/work/data/137905225#Topic/pradikatenkalkul> # Prädikatenkalkül
    a schema:Intangible ;
   schema:name "Prädikatenkalkül"@en ;
    .

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

<http://viaf.org/viaf/41901318> # Stephen Cole Kleene
    a schema:Person ;
   schema:birthDate "1909" ;
   schema:deathDate "1994" ;
   schema:familyName "Kleene" ;
   schema:givenName "Stephen Cole" ;
   schema:name "Stephen Cole Kleene" ;
    .

<http://worldcat.org/isbn/9780821812105>
    a schema:ProductModel ;
   schema:isbn "0821812106" ;
   schema:isbn "9780821812105" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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