Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001084013/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b1234091.
- catalog contributor b1234092.
- catalog contributor b1234093.
- catalog created "1952.".
- catalog date "1952".
- catalog date "1952.".
- catalog dateCopyrighted "1952.".
- catalog description "Bibliography: p. 67-68.".
- catalog description "Permutability of inferences in Gentzen's calculi ḺḴ and ḺJ̲.--Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.".
- catalog extent "68 p.".
- catalog isPartOf "Memoirs of the American Mathematical Society ; no. 10".
- catalog issued "1952".
- catalog issued "1952.".
- catalog language "eng".
- catalog publisher "Providence, R.I.,".
- catalog subject "Predicate calculus.".
- catalog tableOfContents "Permutability of inferences in Gentzen's calculi ḺḴ and ḺJ̲.--Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.".
- catalog title "Two papers on the predicate calculus.".
- catalog type "text".