Rasiowa, Helena, 1917-1994
Rasiowa, Helena
Helena Rasiowa
רסיובה, הלנה
VIAF ID: 46889273 ( Personal )
Permalink: http://viaf.org/viaf/46889273
Preferred Forms
- 100 0 _ ‡a Helena Rasiowa
- 200 _ | ‡a Rasiowa ‡b Helena ‡f 1917-1994
-
-
- 100 1 _ ‡a Rasiowa, Helena
-
- 100 1 _ ‡a Rasiowa, Helena
-
-
-
-
-
-
- 100 1 _ ‡a Rasiowa, Helena ‡d 1917-1994
- 100 1 _ ‡a Rasiowa, Helena ‡d 1917-1994
- 100 1 _ ‡a Rasiowa, Helena, ‡d 1917-1994
-
-
4xx's: Alternate Name Forms (41)
Works
Title | Sources |
---|---|
Algebraic approach to non-classical logics | |
Algorithmic logic : lectures notes Simon Fraser University, Canada | |
Annales Societatis Mathematicae Polonae. | |
Computable analysis | |
Elementi na teoriâta na množestvata i matematičeskata logika | |
Generalization of a formalized theory of fields of sets on non-classical logics | |
Introduction to modern mathematics. | |
Lectures on infinitary logic and logics of programs | |
Logic, algebra, and computer science Helena Rasiowa in memoriam | |
Logic at work : essays dedicated to the memory of Helena Rasiowa | |
Matematika metamatematiki | |
Mathematical problems in computation theory | |
Mathematics of meta-mathematics | |
On a logical structure of programs : by Helena Rasiowa | |
On ~^w± valued algorithmic logic and related problems | |
Symposium on Mathematical Foundations of Computer Science : December 6 - 11, 1982, Diedrichshagen | |
Wstęp do matematyki współczesnej | |
Математика метаматематики |