Order:
Disambiguations
J. I. Zucker [7]J. Zucker [6]Joel Zucker [2]Jeffery Zucker [2]
Jean-Michel Zucker [1]
  1.  54
    The Adequacy Problem for Inferential Logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  39
    Perceptual Learning and the Technology of Expertise Studies in Fraction Learning and Algebra. [REVIEW]Philip J. Kellman, Christine Massey, Zipora Roth, Timothy Burke, Joel Zucker, Amanda Sawa, Katherine E. Aguero & Joseph A. Wise - 2008 - Pragmatics and Cognition 16 (2):356-405.
    Learning in educational settings most often emphasizes declarative and procedural knowledge. Studies of expertise, however, point to other, equally important components of learning, especially improvements produced by experience in the extraction of information: Perceptual learning. Here we describe research that combines principles of perceptual learning with computer technology to address persistent difficulties in mathematics learning. We report three experiments in which we developed and tested perceptual learning modules to address issues of structure extraction and fluency in relation to algebra and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  89
    Perceptual Learning and the Technology of Expertise Studies in Fraction Learning and Algebra.Philip J. Kellman, Christine Massey, Zipora Roth, Timothy Burke, Joel Zucker, Amanda Sawa, Katherine E. Aguero & Joseph A. Wise - 2008 - Pragmatics and Cognition 16 (2):356-405.
    Learning in educational settings most often emphasizes declarative and procedural knowledge. Studies of expertise, however, point to other, equally important components of learning, especially improvements produced by experience in the extraction of information: Perceptual learning. Here we describe research that combines principles of perceptual learning with computer technology to address persistent difficulties in mathematics learning. We report three experiments in which we developed and tested perceptual learning modules to address issues of structure extraction and fluency in relation to algebra and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  23
    Cut-Elimination and Normalization.J. Zucker - 1974 - Annals of Pure and Applied Logic 7 (1):1.
  5.  35
    Eduard Wette. Definition Eines Formalen Systems Konstruktiver Arithmetik. Foundations of Mathemattes, Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel, Edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag New York Inc., 1969, Pp. 130–195. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.
  6.  17
    The Correspondence Between Cut-Elimination and Normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
  7.  28
    The Correspondence Between Cut-Elimination and Normalization II.J. Zucker - 1974 - Annals of Pure and Applied Logic 7 (2):113.
  8.  47
    The Adequacy Problem for Classical Logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  9.  11
    Solomon Feferman. Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams. Annals of Pure and Applied Logic, Vol. 81 , Pp. 75–113. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
  10.  12
    The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  19
    Toledo Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Lecture Notes in Mathematics, Vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Iii + 339 Pp. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
  12. Tableau Systems for First Order Number Theory and Certain Higher Order Theories.J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  16
    Equational Theories and Equivalences of Programs.B. Courcelle, B. Domolki, T. Gergely, J. W. de Bakker, J. I. Zucker & E. Engeler - 1984 - Journal of Symbolic Logic 49 (3):990-991.
  14.  15
    Review: Eduard Wette, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Definition Eines (Relativ Vollstandigen) Formalen Systems Konstruktiver Arithmetik. [REVIEW]G. Kreisel & J. Zucker - 1972 - Journal of Symbolic Logic 37 (1):203-204.
  15.  11
    Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories. [REVIEW]J. I. Zucker - 1980 - Journal of Symbolic Logic 45 (3):636-638.
  16.  12
    Review: Solomon Feferman, Computation on Abstract Data Types. The Extensional Approach, with an Application to Streams. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
  17.  8
    Provable Computable Selection Functions on Abstract Structures.J. Tucker & J. Zucker - 1992 - In Peter Aczel, Harold Simmons & S. S. Wainer (eds.), Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press. pp. 275.
  18.  41
    A French Perspective On Hospital Ethics Committees.Jean-Christophe Mino, Laure Copel & Jean-Michel Zucker - 2008 - Cambridge Quarterly of Healthcare Ethics 17 (3):300-307.
    In this article we highlight the main points of the development of bioethics and ethics committees in France. We argue that the French cultural context of medicine and its current political transformations favor new models of hospital ethics committee and we provide an example of such a model developed at Paris's Institut Curie, the oldest French cancer treatment and research centre.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations