Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/137905225

Two Papers on the Predicate Calculus

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

"Permutability of inferences in Gentzen's calculi LK and LJ"
"2 papers on the predicate calculus"@en
"Permutability of inferences in Gentzen's calculi Lk and LJ"@en
"Finite Axiomatizability of theories in the predicate calculus using additional predicate symbols"@en
"Finite axiomatizability of theories in the predicate calculus using additional predicate symbols"

author

http://schema.org/author

http://worldcat.org/entity/person/id/2641857745

contributor

http://schema.org/contributor

creator

http://schema.org/creator

genre

http://schema.org/genre

"Electronic books"@en
"Electronic books"

name

http://schema.org/name

"Two Papers on the Predicate Calculus"@en
"Two papers on the predicate calculus : finite Axiomatizability of theories in the predicate calculus using additional predicate symbols"@en
"Two Papers on the predicate calculus"
"Two papers on the predicate calculus"
"Two papers on the predicate calculus"@en

workExample

http://schema.org/workExample