17 found
Order:
Disambiguations
Carol R. Karp [21]Carol Ruth Karp [1]
  1.  32
    Some Remarks on Infinitely Long Formulas.L. Henkin & Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  2. Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  3.  17
    Abraham Robinson. Introduction to Model Theory and to the Metamathematics of Algebra. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 Pp. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56.
  4.  22
    Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  5.  11
    Bernays Paul. Über Eine Natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A.. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 1–14. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  18
    Independence Proofs in Predicate Logic with Infinitely Long Expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    Review: R. S. Pierce, A Generalization of Atomic Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
  8.  8
    Pierce R. S.. A Generalization of Atomic Boolean Algebras. Pacific Journal of Mathematics, Vol. 9 , Pp. 175–182.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    Chang C. C.. On the Representation of Α-Complete Boolean Algebras. Transactions of the American Mathematical Society, Vol. 85 , Pp. 208–218. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    Monk Donald. On the Representation Theory for Cylindric Algebras. Pacific Journal of Mathematics, Vol. 11 , Pp. 1447–1457. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  11.  9
    Słomiński J.. Theory of Models with Infinitary Operations and Relations. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 6 (1958), Pp. 449–456. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  12.  6
    Pierce R. S.. Representation Theorems for Certain Boolean Algebras. Proceedings of the American Mathematical Society, Vol. 10 , Pp. 42–50. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. Review: Abraham Robinson, Introduction to Model Theory and the Metamathematics of Algebra. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56-56.
  14.  6
    Review: Donald Monk, On the Representation Theory for Cylindric Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  15.  6
    Review: R. S. Pierce, Representation Theorems for Certain Boolean Algebras. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-101.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Review: Paul Bernays, Uber eine Naturliche Erweiterung des Relationenkalkuls. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Review: C. C. Chang, On the Representation of $Alpha$-Complete Boolean Algebras. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.