12 found
Order:
  1.  16
    Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
  2.  18
    Jagadeesan, Radha, 306 Japaridze, Giorgi, xi.Arnon Avron, Oskar Becker, Johan van Benthem, Andreas Blass, Robert Brandom, L. E. J. Brouwer, Donald Davidson, Michael Dummett & Walter Felscher - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 377.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  6
    A Linear Parsing Algorithm For Parenthesis Terms.Walter Felscher - 1989 - Mathematical Logic Quarterly 35 (4):359-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  20
    A Linear Parsing Algorithm For Parenthesis Terms.Walter Felscher - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):359-362.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  32
    Bemerkungen zu einem lemma Von E. Engeler und A. Robinson.Walter Felscher - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (1):15-16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  4
    Zur Algebra Unendlich Langer Zeichenreihen.Walter Felscher - 1965 - Mathematical Logic Quarterly 11 (1):5-16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  19
    Zur Algebra Unendlich Langer Zeichenreihen.Walter Felscher - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):5-16.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  21
    Jean E. Rubin. Mathematical logic: applications and theory. The Saunders series. Saunders College Publishing, Philadelphia etc. 1990, xvi + 417 pp. [REVIEW]Walter Felscher - 1994 - Journal of Symbolic Logic 59 (2):670-671.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  33
    Review: Jean E. Rubin, Mathematical Logic: Applications and Theory. [REVIEW]Walter Felscher - 1994 - Journal of Symbolic Logic 59 (2):670-671.
  10.  1
    Review: R. Sikorski, A Topological Characterization of Open Theories. [REVIEW]Walter Felscher - 1973 - Journal of Symbolic Logic 38 (1):163-164.
  11.  11
    Sikorski R.. A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 , pp. 259–260. [REVIEW]Walter Felscher - 1973 - Journal of Symbolic Logic 38 (1):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  26
    Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836. [REVIEW]Simon Kochen, J. W. Addison, Leon Henkin, Alfred Tarski & Walter Felscher - 1969 - Journal of Symbolic Logic 34 (2):300-301.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark