Order:
Disambiguations
J. I. Zucker [7]J. Zucker [6]Jeffery Zucker [2]Joel Zucker [1]
Jean-Michel Zucker [1]
  1.  69
    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   27 citations  
  2.  28
    The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
  3.  35
    Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.
  4. Perceptual learning and the technology of expertise.Philip J. Kellman, Christine Massey, Zipora Roth, Timothy Burke, Joel Zucker, Amanda Saw, 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  
  5.  55
    The adequacy problem for classical logic.J. I. Zucker - 1978 - Journal of Philosophical Logic 7 (1):517 - 535.
  6.  40
    The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.
  7.  18
    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   3 citations  
  8.  4
    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  
  9.  23
    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.
  10.  11
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  15
    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.
  12.  42
    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.
  13.  20
    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.
  14.  19
    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.
  15.  13
    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.
  16.  31
    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.