WorldCat Identities

Rasiowa, Helena

Overview
Works: 30 works in 219 publications in 6 languages and 2,038 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Honoree, Dedicatee, Other
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about Helena Rasiowa
 
Most widely held works by Helena Rasiowa
An algebraic approach to non-classical logics by Helena Rasiowa( Book )

27 editions published between 1974 and 2000 in 3 languages and held by 588 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
The mathematics of metamathematics by Helena Rasiowa( Book )

55 editions published between 1963 and 1970 in English and Polish and held by 564 WorldCat member libraries worldwide

Introduction to modern mathematics by Helena Rasiowa( Book )

51 editions published between 1968 and 2014 in 4 languages and held by 473 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 90 WorldCat member libraries worldwide

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

10 editions published in 1988 in English and Multiple languages and held by 86 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 58 WorldCat member libraries worldwide

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

8 editions published in 1999 in English and held by 51 WorldCat member libraries worldwide

Computable analysis by Stanisław Mazur( Book )

6 editions published in 1963 in 3 languages and held by 50 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

Matematika metamatematiki by Helena Rasiowa( Book )

6 editions published in 1972 in Russian and held by 12 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

The mathematics of metamathematics [by] Helena Rasiowa and Roman Sikorski by Helena Rasiowa( Book )

2 editions published between 1963 and 1970 in English and held by 7 WorldCat member libraries worldwide

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

2 editions published in 1982 in English and held by 6 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

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

Reasoning with incomplete information( Book )

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

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

2 editions published in 1982 in English and held by 2 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 )

2 editions published in 1960 in English and held by 2 WorldCat member libraries 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.63 for Introducti ... to 0.94 for Special is ...)

Logic at work : essays dedicated to the memory of Helena Rasiowa Logic at work : essays dedicated to the memory of Helena Rasiowa ; with 3 tables
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
Alternative Names
Helena Rasiowa matemática polaca

Helena Rasiowa matematica polacca

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