5 found
Order:
  1.  59
    Kanger Stig. On the characterization of modalities. Theoria , vol. 23 , pp. 152–155.F. H. Fischer - 1958 - Journal of Symbolic Logic 23 (1):38-38.
  2.  11
    (1 other version)Chauvineau Jean. La logique moderne. Presses Universitaires de France, Paris 1957, 128 pp. [REVIEW]F. H. Fischer - 1959 - Journal of Symbolic Logic 24 (1):70-71.
  3.  25
    (1 other version)Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg 1959, VIII + 188 pp. [REVIEW]F. H. Fischer - 1960 - Journal of Symbolic Logic 25 (2):158-158.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  31
    (1 other version)Kanger Stig. Provability in logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 1. Almqvist and Wiksell, Stockholm 1957, 47 pp. [REVIEW]F. H. Fischer - 1958 - Journal of Symbolic Logic 23 (1):37-38.
  5.  39
    Ladrière Jean. Le rôle du théoréme de Gödel dans le développement de la théorie de la démonstration. Revue philosophique de Louvain, vol. 47 , pp. 469–492.Ladrière Jean. Rationnel et irrationnel en mathématique. Revue philosophique de Louvain, vol. 48 , pp. 37–62.Ladrière Jean. Le théorème fondamental de Gentzen. Revue philosophique de Louvain, vol. 49 , pp. 357–384. [REVIEW]F. H. Fischer - 1954 - Journal of Symbolic Logic 19 (2):129-130.