Prucnal, Tadeusz 1939-1998
Prucnal, Tadeusz
Tadeusz Prucnal Polish mathematician
VIAF ID: 101700663 (Personal)
Permalink: http://viaf.org/viaf/101700663
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Badania nad matrycami Łukasiewicza | |
Dowód niezawodności reguły Kreisel'a-Putnama | |
Elementy algebry logiki zdań | |
Elementy teorii liczb | |
O logice wyznaczonej przez pewien system liczb naturalnych | |
Matematyka : zbiór artykułów | |
Nadawać światłu kształt swoimi czynami : pamięci profesora Tadeusza Prucnala | |
On the logic determined by some system of natural numbers | |
Osiągnięcia naukowe Instytutu Matematyki | |
Wstęp do logiki matematycznej. |