1. Helena Rasiowa Helena Rasiowa Seite aus einem deutschsprachigen OnlinePhilosophenlexikon. Die polnische Logikerin und Mathematikerin Helena Rasiowa wurde am 20. http://www.philosophenlexikon.de/rasiowa.htm

Begriffe Abaelard - Ayer Baader - Byron Cabanis - Czezowski Ebbinghaus - Ewald ... Geschichte der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Helena Rasiowa (1917 - 1994) Die polnische Logikerin Bedeutende Mathematiker und Logiker wie Borsuk, , Mazurkiewicz, Sierpinski, Mostowski Ihre Dissertation verteidigte sie 1950. Es war ein Thema zu Algebra und Logik: Algebraic treatment of the functional calculus of Lewis and Heyting algebraischen Logik und zu den mathematischen Grundlagen der Computerwissenschaft. Post , Stone, Tarski powered by Uwe Wiedemann

2. DBLP: Helena Rasiowa Helena Rasiowa. 1993. 13, Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systemsfor Logic II, Consensus Programs and Their Procedding (Extended Abstract). http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rasiowa:Helena.html

Helena Rasiowa List of publications from the DBLP Bibliography Server FAQ Ask others: ACM CiteSeer CSB Google ... "Home Page Search" Engine Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993 Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. JIIS 2 George Epstein ISMVL 1991 George Epstein ... ISMVL 1990 Helena Rasiowa: Logic of Approximation Reasoning. CSL 1987 Helena Rasiowa, George Epstein : Approximation Reasoning and Scott's Information Systems. ISMIS 1987 V. Wiktor Marek , Helena Rasiowa: Approximating Sets with Equivalence Relations. TCS 48 Helena Rasiowa, Andrzej Skowron : Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems 1985 Helena Rasiowa: Completeness in Classical Logic of Complex Algorithms. MFCS 1980 Helena Rasiowa: Logic of complex algorithms. FCT 1979 Helena Rasiowa: omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS 1974 Helena Rasiowa: On the Logical Structure of Mix-valued Programs and the omega -valued Algorithmic Logic.

3. Rasiowa Helena Rasiowa. Born 20 June 1917 in Vienna, Austria Died 9 Aug 1994 in Warsaw,Poland. Although Helena Rasiowa was born in Vienna, her parents were Polish. http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Rasiowa.html

Helena Rasiowa Born: 20 June 1917 in Vienna, Austria Died: 9 Aug 1994 in Warsaw, Poland Click the picture above to see two larger pictures Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Although Helena Rasiowa was born in Vienna, her parents were Polish. In 1918 Poland regained its status as an independent nation and Rasiowa's parents moved to Warsaw. She was educated there, obtaining a good secondary school education with music lessons taken at a special music school. After completing her school studies she took a course in business management before entering university. Rasiowa entered the University of Warsaw in 1938 but, after the German invasion of Poland in 1939, the university closed. Rasiowa and her parents moved to Lvov but the Poles were trapped between the Soviets and the Germans and Lvov came under Soviet control. Life there seemed even more difficult than under German occupation, so after a year the family returned to Warsaw. There was an impressive collection of mathematicians at the University of Warsaw at this time including Borsuk Lukasiewicz Mazurkiewicz Sierpinski ... Mostowski and others. They had organised an underground version of the university which was strongly opposed by the Nazi authorities.

4. Poster Of Rasiowa Helena Rasiowa. lived from 1917 to 1994. Helena Rasiowa worked in algebraiclogic and the mathematical foundations of computer science. http://www-gap.dcs.st-and.ac.uk/~history/Posters2/Rasiowa.html

Helena Rasiowa lived from 1917 to 1994 Helena Rasiowa worked in algebraic logic and the mathematical foundations of computer science. Find out more at http://www-history.mcs.st-andrews.ac.uk/history/ Mathematicians/Rasiowa.html

5. Untitled Helena Lindskog Helena Lourenço Helena Machado Rino Lucia Helena Martinho Helena Mitásová Helena Nyklová Helena rasiowa helena http://www.informatik.uni-trier.de/~ley/db/indices/nst/BDJ.NST

6. Rasiowa Helena - Wstêp Do Matematyki Wspó³czesnej - Ksiegarnia.wysylkowa.pl rasiowa helena,Wstep do matematyki wspólczesnej,Rasiowa,Helena,Wstep,do,matematyki,wspólczesnej,Wydawnictwo,Naukowe,PWNKsiegarnia wysylkowa jedna z http://wysylkowa.pl/ks249366.html

Przejd¼ do ksiegarni Przejd¼ do muzyki ... Poka¿ wszystkie Wybierz kategorie (kliknij na nazwê) lub zamknij liste kategorii Aforyzmy Albumy Archeologia ... zamknij liste kategorii Naszym Przyjacielem jest: Wstêp do matematyki wspó³czesnej Rasiowa Helena Wyd. Wydawnictwo Naukowe PWN Powiadom znajomego o ksi±¿ce Termin realizacji: szczegó³y Cena: Cena promocyjna( Rok wydania: Oprawa: Miêkka Format: Jêzyk: polski Ilo¶æ stron: ISBN: Jest to kolejne wznowienie podrêcznika znanego wielu pokoleniom studentów matematyki. Ksi±¿ka zawiera elementy logiki matematycznej, teorii mnogo¶ci i algebry abstrakcyjnej w zakresie zapewniaj±cym Czytelnikowi odpowiednie przygotowanie do studniowania matematyki wspó³czesnej; przeznaczona jest przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, ale tak¿e przydatna bêdzie studentom kierunków technicznych, przyrodniczych a nawet humanistycznych. Osoby zainteresowane t± ksi±¿k± ogl±da³y tak¿e: Wstêp do matematyki wspó³czesnej Autor: Rasiowa H. Wyd. Wydawnictwo Naukowe PWN Cena: Cena promocyjna( Powiadom znajomego o ksi±¿ce Powiadom znajomego Ustaw jako stronê startow± Dodaj do ulubionych ... muzyka.wysylkowa.pl

7. Rasiowa H. - Wstêp Do Matematyki Wspó³czesnej - Ksiegarnia.wysylkowa.pl Osoby zainteresowane ta ksiazka ogladaly takze Wstep do matematykiwspólczesnej Autor rasiowa helena Wyd. Wydawnictwo http://wysylkowa.pl/ks245310.html

Przejd¼ do ksiegarni Przejd¼ do muzyki ... Poka¿ wszystkie Wybierz kategorie (kliknij na nazwê) lub zamknij liste kategorii Aforyzmy Albumy Archeologia ... zamknij liste kategorii Naszym Przyjacielem jest: Wstêp do matematyki wspó³czesnej Rasiowa H. Wyd. Wydawnictwo Naukowe PWN Powiadom znajomego o ksi±¿ce Termin realizacji: szczegó³y Cena: Cena promocyjna( Rok wydania: Oprawa: Miêkka Format: Jêzyk: polski Ilo¶æ stron: ISBN: Jest to kolejne wznowienie podrêcznika znanego wielu pokoleniom studentów matematyki. Ksi±¿ka zawiera elementy logiki matematycznej, teorii mnogo¶ci i algebry abstrakcyjnej w zakresie zapewniaj±cym Czytelnikowi odpowiednie przygotowanie do studniowania matematyki wspó³czesnej; przeznaczona jest przede wszystkim dla studentów pierwszego roku matematyki na uniwersytetach, ale tak¿e przydatna bêdzie studentom kierunków technicznych, przyrodniczych a nawet humanistycznych. Osoby zainteresowane t± ksi±¿k± ogl±da³y tak¿e: Wstêp do matematyki wspó³czesnej Autor: Rasiowa Helena Wyd. Wydawnictwo Naukowe PWN Cena: Cena promocyjna( Powiadom znajomego o ksi±¿ce Powiadom znajomego Ustaw jako stronê startow± Dodaj do ulubionych ... muzyka.wysylkowa.pl

8. DBLP: Helena Rasiowa Helena Rasiowa. 1993. 9, Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systemsfor Logic II, Consensus Programs and Their Procedding (Extended Abstract). http://dblab.comeng.cnu.ac.kr/~dolphin/db/indices/a-tree/r/Rasiowa:Helena.html

Helena Rasiowa List of publications from the DBLP Bibliography Server Search Home Page with HPSearch Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993 Helena Rasiowa, V. Wiktor Marek : Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. JIIS 2 George Epstein ISMVL 1991 George Epstein ... ISMVL 1990 Helena Rasiowa: Logic of Approximation Reasoning. CSL 1987 Helena Rasiowa, George Epstein : Approximation Reasoning and Scott's Information Systems. ISMIS 1987 V. Wiktor Marek , Helena Rasiowa: Approximating Sets with Equivalence Relations. TCS 48 Helena Rasiowa, Andrzej Skowron : Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems 1985 Helena Rasiowa: Completeness in Classical Logic of Complex Algorithms. MFCS 1980 Helena Rasiowa: Logic of complex algorithms. FCT 1979 Helena Rasiowa: omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS 1974 Helena Rasiowa: On the Logical Structure of Mix-valued Programs and the omega -valued Algorithmic Logic.

9. Helena Rasiowa - ResearchIndex Document Query Find Searching for PHRASE helena rasiowa. Restrict to Header Title Order byCitations Hubs Usage Date System busy. Suggested query helena or rasiowa. http://citeseer.nj.nec.com/cs?q=Helena Rasiowa

10. Www.cs.utwente.nl/amast/links/v02/i01/AL0201O1.txt O1 AMAST Links 02 01 Helenarasiowa helena Rasiowa, descendant and member of the Polish School of Logic http://www.cs.utwente.nl/amast/links/v02/i01/AL0201O1.txt

[O1] ================================================ AMAST Links 02 01 Helena Rasiowa Helena Rasiowa, descendant and member of the Polish School of Logic, died on 9 August, 1994. Born on 20 June 1917, she begun the studies of mathematics at the University of Warsaw in 1938. During the second world war she continued the studies at the Underground University. She wrote her Master's thesis under the supervision of Jan Lukasiewicz and obtained her M.Sc. degree in 1945. She received her Ph.D. degree under the supervision of Andrzej Mostowski in 1950. She held academic positions at the University of Warsaw from 1945 till 1992. She served as the Head of the Chair of Foundations of Mathematics (1964-1970) and the Head of the Chair of Mathematical Logic (1970-1992). The study of the relationship between logic and algebra, originated by work of Boole and continued by Lindenbaum, Tarski, Stone, McKinsey, Mostowski, Henkin, was the main research subject of Helena Rasiowa. Two very important developments in the algebraic study of logic were the introduction by Lindenbaum and Tarski of the method of treating equivalence classes of formulas as elements of an abstract algebraic system, and the treatment of formulas as algebraic functions in certain algebras originated by Lukasiewicz and Post with their generalization of truth tables. Algebraic methods in investigations of intuitionistic and modal logics were originated by Stone, Tarski and McKinsey. Helena Rasiowa became very active in these areas in early fifties. Jointly with Roman Sikorski, she presented the first algebraic proof of G"odel's completeness theorem for classical predicate logic. Next, she proved the analogous theorems for intuitionistic and modal logics algebraically. Since then many logicians have employed algebraic methods in investigations of logical calculi. Her first monograph `The Mathematics of Metamathemathics' (Polish Science Publishers, Warsaw 1963), joint with Roman Sikorski, contains a comprehensive survey of algebraic theories of logical calculi. The algebraization is presented of classical, intuitionistic, modal and positive logics. The book concentrates on metalogical theorems concerning predicate calculi of these logics and on investigation of elementary theories based on these logics. In the next monograph `Algebraic Approach to Non-Classical Logics' (Studies in Logic and the Foundations of Mathematics, vol. 78, North Holland, Amsterdam 1974), Helena Rasiowa developed a general theory of algebraization of logical systems. Within the framework of this theory she presented algebraizations of a number of non-classical logics: classical and positive implicative logics, logics weaker than positive implicative logic, minimal logic, positive logic with semi-negation, constructive logic with strong negation, and multiple-valued Post logics. From the early seventies on, Helena Rasiowa became interested in foundational problems in computation theory. She recognised that theoretical computer science has represented an important source of inspiration in development of logic. She initiated research on logics of programs; algorithmic logic and its theory was developed under her supervision. She was working on a theory of approximate reasoning and developed various AI-oriented logical systems for modeling cognitive processes. She was active in her work till the last days, during the past two years she was working on a new monograph: `Algebraic Analysis of Non-Classical First Order Logics'. Helena Rasiowa was the founder and the editor-in-chief of Fundamenta Informaticae, collecting editor of Studia Logica, and associate editor of the Journal of Approximate Reasoning. She received numerous honors and awards, including Sierpinski medal, the title of Honorary Member of the Polish Mathematical Society, the Stefan Mazurkiewicz Award of the Polish Mathematical Society, and the First Class State Science Award in Mathematics. She served as President of the Warsaw Division of The Polish Mathematical Society and as Assessor of the Division of Logic, Methodology, and Philosophy of Science of the International Union of History and Philosophy of Science. She served the Association for Symbolic Logic as a member of the Council. She was the Head of the Council of the Polish Association of Logic and Philosophy of Science. Helena Rasiowa exerted a great influence on many logicians around the world, her death is a great loss for the logic community. Ewa Orlowska.

11. Www.cs.utwente.nl/amast/links/v02/i01/AL0201.txt AMAST ftp repository A2 This issue O1 AMAST Links 02 01 Helena rasiowa helena Rasiowa, descendant and http://www.cs.utwente.nl/amast/links/v02/i01/AL0201.txt

:= ftp://ftp.cs.utwente.nl/pub/doc/amast/ .txt where `

12. Rasiowa Helena Rasiowa. Born June 20, 1917, Vienna, Austria. Died Aug 9, 1994, Warsaw,Poland Although Helena Rasiowa was born in Vienna, her parents were Polish. http://members.fortunecity.com/jonhays/Rasiowa.htm

Helena Rasiowa Born: June 20, 1917, Vienna, Austria. Died: Aug 9, 1994, Warsaw, Poland Although Helena Rasiowa < was born in Vienna, her parents were Polish. In 1918 Poland regained its status as an independent nation and Rasiowa's parents moved to Warsaw. She was educated there, obtaining a good secondary school education with music lessons taken at a special music school. After completing her school studies she took a course in business management before entering university. Rasiowa entered the University of Warsaw in 1938 but, after the German invasion of Poland in 1939, the university closed. Rasiowa and her parents moved to Lvov but the Poles were trapped between the Soviets and the Germans and Lvov came under Soviet control. Life there seemed even more difficult than under German occupation, so after a year the family returned to Warsaw. There was an impressive collection of mathematicians at the University of Warsaw at this time including Borsuk, Lukasiewicz, Mazurkiewicz, Sierpinski, Mostowski and others. They had organised an underground version of the university which was strongly opposed by the Nazi authorities. Borsuk, for example, was imprisoned after the authorities found that he was helping to run the underground university. In this dangerous situation Rasiowa learnt mathematics, knowing that the penalties for being discovered were extreme. Yet in this environment Rasiowa studied for her Master's Degree under Lukasiewicz's supervision.

13. BIULETYN NABYTKàW 54256, S/4926 302. rasiowa helena Wstep do matematyki wspólczesnej / HelenaRasiowa. Wyd. 12. - Warszawa Wydaw. Naukowe PWN, 2001. - 302 s. il. http://biblioteka.aon.edu.pl/biuletyn/111201/biul_r.htm

301. RADOMYSKI ADAM Zagro¿enie ¶mig³owcowe dywizji zmechanizowanej / Adam Radomyski ; Akademia Obrony Narodowej. Wydzia³ Lotnictwa i Obrony Powietrznej. - Warszawa : AON, 2001. - 98 s. : il. (w tym kolor.) ; 25 cm Dywizja zmechanizowana - obrona przeciwlotnicza Obrona przeciwlotnicza - metody ¦mig³owce bojowe - stosowanie Sygn. 54256, S/4926 302. RASIOWA HELENA Wstêp do matematyki wspó³czesnej / Helena Rasiowa. - Wyd. 12. - Warszawa : Wydaw. Naukowe PWN, 2001. - 302 s. : il. ; 24 cm Algebra - podrêcznik akademicki Logika matematyczna - podrêcznik akademicki Teoria mnogo¶ci - podrêcznik akademicki Sygn. 8393/III, 8394/III 303. R¡KOWSKI GRZEGORZ W¶ród jezior i mszarów Wileñszczyzny / Grzegorz R±kowski. - Warszawa : "Rewasz", 2000. - 368 s. ; il., mapy ; 18 cm. - (Smak Kresów) Bia³oru¶ - przewodnik Kresy wschodnie Rzeczypospolitej - historia - wydawnictwa popularne Sygn. 5600/II 304. R¡KOWSKI GRZEGORZ Polska egzotyczna / Grzegorz R±kowski. - Wyd. 2 popr. i uzup. - Pruszków : "Rewasz", 1999-. - 2 cz. ; 17 cm. - Cz. 1. - 1999. - 383 s., [32] s. tabl. kolor. : il., mapy Bia³ystok (woj. podlaskie ; okrêg) -

14. Nowosci Biblioteki Instytutu Informatyki UwB Helion, Gliwice 2002; rasiowa helena Wstep do matematyki wsplczesnejWydawnictwo Naukowe PWN, Warszawa 1998; Bialasiewicz Jan T http://ii.uwb.edu.pl/bibl.html

Biblioteka Instytutu Informatyki zaprasza nowoœci rachunek umbralny Rota incidence algebras ... dary Nowoœci Knuth Donald - Sztuka programowania, T1- Algorytmy podstawowe, T2- Algorytmy seminumeryczne, T3- Sortowanie i wyszukiwanie Wydwanictwa Naukowo-Techniczne, Warszawa 2002 Stasiewicz Andrzej - C++ Builder, 20 efektywnych programów , Helion, Gliwice 2002 Rasiowa Helena - Wstêp do matematyki wsp³czesnej Wydawnictwo Naukowe PWN, Warszawa 1998 Bia³asiewicz Jan T. - Falki i aproksymacje , Wydwanictwa Naukowo-Techniczne, Warszawa 2000 Redmond Don - Number Theory. An Introduction , MARCEL DEKKER, INC., New York - Besel - Hong Kong, 1996 Spiegel Eugene, O'Donnell Christopher J. - Incidence Algebras , MARCEL DEKKER, INC., Nwe York - Basel - Hong Kong, 1997 Ballew Scott M. - Zarz¹dzanie Sieciami IP za Pomoc¹ Ruterów Cisco , Wydawnictwo RM, Warszawa, 1998 S³upecki Jerzy, Ha³kowska Katarzyna, Piróg - Rzepecka Krystyna, Logika Matematyczna ,Wydawnictwo Naukowe PWN, Warszawa 1999 Stachurski Andrzej, Wierzbicki Andrzej P. - Podstawy Optymalizacji , Oficyna Wydawnicza Politechniki Warszawskiej, Warszawa 1999 Palczewski Andrzej - Równania Ró¿niczkowe Zwyczajne. Teoria i Metody Numeryczne z Wykorzystaniem Komputerowego Systemu Obliczeñ Symbolicznych

15. Dipartimento Di Informatica - Università Di Torino Rangan Venkat, Ranky Paul, Rao K. Raoult J. Rapaport William. RapoportA. Rappaport Alain, rasiowa helena, Rasmussen Jens, Ratcliff Bryan. http://www.di.unito.it/various/biblioteca/autori.php?autore=R

16. Katalogi - Katalogi BGPP - Wykaz Podrêczników - Automatyka I Robotyka Zarys teorii. Warszawa, PWN, 1981; rasiowa helena, Wstep do matematykiwspólczesnej. Wyd. 5. Warszawa, PWN, 1975. Przedmiot TEORIA http://www.ml.put.poznan.pl/katalogi/p_podrecznik_el_aut.shtml

Wstecz WYDZIA£ ELEKTRYCZNY Kierunek: AUTOMATYKA I ROBOTYKA Rok 1 Rok 2 Rok 3 Rok 4 ... Rok 5 ROK 1 Przedmiot: ANALIZA MATEMATYCZNA ¯akowski W. , Matematyka. T. I, II, III. Warszawa, WNT, 1970 Krysicki W. , W³odarski L., Analiza matematyczna w zadaniach. T. I, II. Warszawa, PWN, 1983 Stankiewicz W. , Zadania z matematyki. T. I, II. Warszawa, PWN, 1976 Przedmiot: MECHANIKA I WYTRZYMA£O¦Æ MATERIA£ÓW Leyko J. , Mechanika ogólna. T. I. II. Warszawa, PWN Mieszczerski W. , Zbiór zadañ z mechaniki. Warszawa, PWN, 1970 Niezgodziñski , Niezgodziñski, Wytrzyma³o¶æ materia³ów. Warszawa, PWN, 1998 Banasiak , Grossman, Trombski, Zbiór zadañ z wytrzyma³o¶ci materia³ów. Warszawa, PWN, 1998 Przedmiot: ALGEBRA I WYBRANE DZIA£Y GEOMETRII Goetz A. , Geometria ró¿niczkowa. Mostowski Andrzej , Stark Marceli, Algebra liniowa. Wyd. 4. Warszawa, PWN, 1975 Stark Marceli , Geometria analityczna z wstêpem do geometrii wielowymiarowej. Wyd. 4. Warszawa, PWN, 1970 Mostowski Andrzej , Stark Marceli, Algebra wy¿sza. Wyd. 2. Warszawa, PWN, 1966 Przedmiot: FIZYKA Halliday David , Resnik Robert, Fizyka dla studentów nauk przyrodniczych i technicznych. Wyd. 4. Warszawa, PWN, 1972

17. ACM Guide: Author Index Translate this page Rasinghani Mahesh S. Rasinghani. Rasio Frederic A. Rasio. Rasiowa H Rasiowa H.rasiowa helena Rasiowa. Rask M. Rask R. Rask Raimo Rask. Raskar Ramesh Raskar. http://portal.acm.org/authors.cfm?part=author&dl=ACM&coll=portal&row=R&idx=45&id

18. Nabytki BG WAT - Dzial 51 - Matematyka Sygn. 56726. 255. rasiowa helena Wstep do matematyki wspólczesnej / Helena Rasiowa. Wyd. 11. - Warszawa Wydaw. Nauk. PWN, 1999. - 302 s. il. ; 24 cm. http://148.81.116.18/nabytki/2000_3/51.html

19. Helena Rasiowa-a View Of The Academic Trajectory And The Influence Upon Polish A p. 144 helena rasiowaa view of the academic trajectory and the influence upon Polish and international scientific http://www.computer.org/proceedings/ismvl/7392/73920144abs.htm

26th International Symposium on Multiple-Valued Logic (ISMVL '96) January 19 - 31, 1996 Jantiago de Compostela, SPAIN p. 144 Helena Rasiowa-a view of the academic trajectory and the influence upon Polish and international scientific community G. Malinowski Dept. of Logic, Lodz Univ., Poland The death of H. Rasiowa was a big loss for both, the Polish and the international scientific community. The life of Professor Rasiowa was passionately devoted to the development of logic, algebra and computer science and brought the fruits already reckoned among the results of the highest importance. The influence of her personality goes far beyond Poland and the group of logicians, mathematicians and computer scientists. Index Terms- ... computer science; Helena Rasiowa; logic; algebra; computer science; Professor Rasiowa; scientific community; academic trajectory The full text of ismvl is available to members of the IEEE Computer Society who have an online subscription and an web account

20. On The Contributions Of Helena Rasiowa To Mathematical Logic p. 147 On the contributions of helena rasiowa to mathematical logic http://www.computer.org/proceedings/ismvl/7392/73920147abs.htm

26th International Symposium on Multiple-Valued Logic (ISMVL '96) January 19 - 31, 1996 Jantiago de Compostela, SPAIN p. 147 On the contributions of Helena Rasiowa to mathematical logic J.M. Font Fac. of Math., Barcelona Univ., Spain Summarizes the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or classical part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical logics, in the seventies she began to study several logics motivated by computational questions, but still the spirit of her original contributions retained the same algebraic flavour. Even the introductory book (1973) bears this mark: it contains elementary set theory with special attention to ordered sets, mathematical logic, and abstract algebra. Index Terms- ... formal logic; biographies; Helena Rasiowa; mathematical logic; abstract algebra; ordered sets; non-classical logics The full text of ismvl is available to members of the IEEE Computer Society who have an online subscription and an web account

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 88    1  | 2  | 3  | 4  | 5  | Next 20