Works by Henryk Greniewski

( view other items matching `Henryk Greniewski`, view all matches )
11 found
Order:
  1.  7
    Elementy logiki formalnej.Henryk Greniewski - 1955 - Warszawa]: Państwowe Wydawn. Naukowe.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  29
    Proba „odmłodzenia” kwadratu logicznego.Henryk Greniewski - 1953 - Studia Logica 1 (1):276-286.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  35
    Application of bi-elemental boolean algebra to electronic circuits.Henryk Greniewski, Krystyn Bochenek & Romuald Marczyński - 1955 - Studia Logica 2 (1):7-75.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  33
    From the history of chinese logic.Henryk Greniewski - 1956 - Studia Logica 4 (1):241-243.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. Informacja zwierzęcia, człowieka i automatu.Henryk Greniewski - 1970 - Człowiek I Światopogląd 1 (3):23-54.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  36
    Milla Kanon zmian towarzyszących.Henryk Greniewski - 1957 - Studia Logica 5 (1):109 - 127.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Milla kanon zmian towarzyszącychМетод сопутствющих изменений милляOn mill's method of concomitant variations.Henryk Greniewski - 1957 - Studia Logica 5 (1):109-127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  36
    Zastosowanie dwuelementowej algebry boole'a do sieci elektronowych.Henryk Greniewski, Krystyn Bochenek & Romuald Marczyński - 1955 - Studia Logica 2 (1):75-75.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  15
    Recherche d'une Algèbre Logique Continue.Nicolas Rouche, Wolfe Mays, Henryk Greniewski, M. O. Rabin, D. Scott & J. C. Shepherdson - 1960 - Journal of Symbolic Logic 25 (2):163-164.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  10
    Korcik Antoni. Gottlob Frege jako twórca pierwszego systemu aksjomatycznego współczesnej logiki zdań . Roczniki filozoficzne, vol. 1 , pp. 138–164. French abstract, ibid., p. 322. [REVIEW]Henryk Greniewski - 1950 - Journal of Symbolic Logic 14 (4):265-265.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Review: Antoni Korcik, Gottlob Frege Jako Tworca Pierwszego Systemu Aksjomatycnego Wspolczesnej Logiki Zdan (Gottlob Frege, Auteur du Premier Systeme Axiomatique de la Logique Contemporaine des Propositions). [REVIEW]Henryk Greniewski - 1950 - Journal of Symbolic Logic 14 (4):265-265.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark