Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001065879/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b1204279.
- catalog created "1968 [1969]".
- catalog date "1968 [1969]".
- catalog date "1969".
- catalog dateCopyrighted "1968 [1969]".
- catalog description "Includes bibliographies.".
- catalog description "The scientific work of A. Heyting, by A. S. Troelstra. -- The equivalence of two definitions of elementary formal system, by H. B. Curry. -- A note on spread-cardinals, by D. Van Dalen. -- Persistent and invariant formulas for outer extensions, by S. Feferman. -- Attributes, sets, partial sets and identity, by P. C. Gilmore. -- Existence in mathematics, by R. L. Goodstein. -- Assertions depending on time and corresponding logical calculi, by A. Grzegorczyk. -- Relativization with respect to formulas and its use in proofs of independence, by L. Henkin. -- Functional interpretation of bar induction by bar recursion, by W. A. Howard. -- Almost direct products and saturation, by B. Jónsson and P. Olin.".
- catalog extent "252 p.".
- catalog hasFormat "Logic and foundations of mathematics.".
- catalog isFormatOf "Logic and foundations of mathematics.".
- catalog isPartOf "Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics.".
- catalog isPartOf "[Noordhoff series of monographs and textbooks on pure and applied mathematics]".
- catalog issued "1968 [1969]".
- catalog issued "1969".
- catalog language "eng".
- catalog publisher "Groningen, Wolters-Noordhoff,".
- catalog relation "Logic and foundations of mathematics.".
- catalog subject "Heyting, A. (Arend), 1898-".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA9 .L62".
- catalog tableOfContents "The scientific work of A. Heyting, by A. S. Troelstra. -- The equivalence of two definitions of elementary formal system, by H. B. Curry. -- A note on spread-cardinals, by D. Van Dalen. -- Persistent and invariant formulas for outer extensions, by S. Feferman. -- Attributes, sets, partial sets and identity, by P. C. Gilmore. -- Existence in mathematics, by R. L. Goodstein. -- Assertions depending on time and corresponding logical calculi, by A. Grzegorczyk. -- Relativization with respect to formulas and its use in proofs of independence, by L. Henkin. -- Functional interpretation of bar induction by bar recursion, by W. A. Howard. -- Almost direct products and saturation, by B. Jónsson and P. Olin.".
- catalog title "Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.".
- catalog type "text".