WorldCat Identities

Rasiowa, Helena

Overview
Works: 27 works in 189 publications in 6 languages and 1,952 library holdings
Genres: Periodicals  Conference papers and proceedings 
Roles: Author, Editor, Honoree, Dedicatee
Classifications: QA267, 511.3
Publication Timeline
.
Most widely held works by Helena Rasiowa
The mathematics of metamathematics by Helena Rasiowa( Book )

45 editions published between 1963 and 1972 in 3 languages and held by 557 WorldCat member libraries worldwide

An algebraic approach to non-classical logics by Helena Rasiowa( Book )

25 editions published in 1974 in 3 languages and held by 454 WorldCat member libraries worldwide

Preliminary set-theoretical, topological and algebraic notions. Topological spaces. Ordered sets and quasi-ordered sets. Implicative algebras. definition and elementary properties. Positive implication algebras. Implicative filters in positive implication algebras. Distributive lattices and quasi-boolean algebras. Distributive lattices. Quasi-boolean algebras. Relatively pseudo-complemented lattices, contrapositionally complemented lattices, semi-complemented laticies and pseudo-boolean algebras. Quasi-pseudo-boolean algebras. Boolean algebras and topological boolean algebras. Post algebras. Implicative extensional propositional calculi. Positive implicative logic and classical implicative logic
Introduction to modern mathematics by Helena Rasiowa( Book )

51 editions published between 1968 and 2014 in 4 languages and held by 413 WorldCat member libraries worldwide

Logic at work : essays dedicated to the memory of Helena Rasiowa( Book )

8 editions published between 1998 and 1999 in English and held by 88 WorldCat member libraries worldwide

Mathematical problems in computation theory by Grażyna Mirkowska-Salwicka( Book )

9 editions published in 1988 in English and Multiple languages and held by 88 WorldCat member libraries worldwide

A generalization of a formalized theory of fields of sets on nonclassical logics by Helena Rasiowa( Book )

8 editions published in 1964 in English and held by 56 WorldCat member libraries worldwide

Computable analysis by Stanisław Mazur( Book )

5 editions published in 1963 in 3 languages and held by 48 WorldCat member libraries worldwide

Logic at work : essays dedicated to the memory of Helena Rasiowa ; with 3 tables( Book )

2 editions published between 1998 and 1999 in English and held by 13 WorldCat member libraries worldwide

Algorithmic logic by Helena Rasiowa( Book )

7 editions published in 1977 in English and Undetermined and held by 9 WorldCat member libraries worldwide

Lectures on infinitary logic and logics of programs by Helena Rasiowa( Book )

4 editions published in 1982 in English and held by 8 WorldCat member libraries worldwide

On o+ - valued algorithmic logic and related problems by Helena Rasiowa( Book )

4 editions published in 1974 in English and Polish and held by 5 WorldCat member libraries worldwide

Reasoning with incomplete information( Book )

2 editions published in 1997 in English and held by 4 WorldCat member libraries worldwide

Wstep do logiki matematycznej i teorii mnogości by Helena Rasiowa( Book )

4 editions published in 1966 in Polish and held by 4 WorldCat member libraries worldwide

Logic, algebra, and computer science : Helena Rasiowa in memoriam by Damian Niwiński( Book )

2 editions published in 1999 in English and held by 4 WorldCat member libraries worldwide

Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington, Indiana, May 13-16, 1975 by 1975, Bloomington, Ind.) International Symposium on Multiple Valued Logic (5( Book )

1 edition published in 1975 in English and held by 2 WorldCat member libraries worldwide

Document consist of 50 papers on the subject of multivalued logic in computer programming
On a fragment of the implicative propositional calculus by Helena Rasiowa( Book )

1 edition published in 1960 in English and held by 1 WorldCat member library worldwide

Special issue dedicated to the memory of Helena Rasiowa( Book )

1 edition published in 1998 in English and held by 1 WorldCat member library worldwide

Symposium on Mathematical Foundations of Computer Science : Dec. 6-11, 1982, Diedrichshagen by Diedrichshagen, Rostock) Symposium on Mathematical Foundations of Computer Science (1982( Book )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

Algebraic models of logics by Helena Rasiowa( Book )

1 edition published in 2001 in English and held by 1 WorldCat member library worldwide

Annales Societatis Mathematicae Polonae by Polskie Towarzystwo Matematyczne( )

in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.31 for Annales So ... to 0.95 for Algebraic ...)

Logic at work : essays dedicated to the memory of Helena RasiowaLogic at work : essays dedicated to the memory of Helena Rasiowa ; with 3 tables
Alternative Names
Helena Rasiowa mathématicienne polonaise

Helena Rasiowa Polish mathematician

Helena Rasiowa polnische Mathematikerin

Helena Rasiowa polsk matematikar

Helena Rasiowa polsk matematiker

Helena Rasiowa Pools wiskundige (1917-1994)

Rasëva, E.

Rasiowa, H.

Rašova, Helena.

Расёва, Е.

Хелена Рашова

Хелена Рашьова

Հելենա Ռասյովա

הלנה רסיובה

هلنا رازیوا ریاضی‌دان لهستانی

ヘレナ・ラショーヴァ

Languages
Covers
Logic at work : essays dedicated to the memory of Helena RasiowaLogic at work : essays dedicated to the memory of Helena Rasiowa ; with 3 tables