Autor: Rasiowa, Helena - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: N-lattices and constructive logic with strong negation
Autorzy:: Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/1382990.pdf
Data publikacji:: 1958
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1958-1959, 46, 1; 61-80
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: On the ε-theorems
Autorzy:: Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/1383148.pdf
Data publikacji:: 1956
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1956, 43, 2; 156-165
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Algebraic models of axiomatic theories
Autorzy:: Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/1383251.pdf
Data publikacji:: 1955
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1955, 41, 2; 291-310
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: A proof of the compactness theorem for arithmetical classes
Autorzy:: Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/1383330.pdf
Data publikacji:: 1952
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1952, 39, 1; 8-14
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Algebraic Treatment of the Functional Calculi of Heyting and Lewis
Autorzy:: Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/1383397.pdf
Data publikacji:: 1951
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1951, 38, 1; 99-126
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Algebraic treatment of the notion of satisfiability
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1383303.pdf
Data publikacji:: 1953
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1953, 40, 1; 62-95
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: A proof of the Skolem-Löwenheim Theorem
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1383418.pdf
Data publikacji:: 1951
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1951, 38, 1; 230-232
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: A proof of the completeness theorem of Grödel
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1383451.pdf
Data publikacji:: 1950
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1950, 37, 1; 193-200
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Preface, Contents
Autorzy:: Mirkowska, Grażyna
Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/719784.pdf
Data publikacji:: 1988
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Banach Center Publications; 1988, 21, 1; 1-8
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: On the isomorphism of Lindenbaum algebras with fields of sets
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/969016.pdf
Data publikacji:: 1958
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Colloquium Mathematicum; 1957-1958, 5, 2; 143-158
0010-1354
Pojawia się w:: Colloquium Mathematicum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: On the Gentzen theorem
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1382800.pdf
Data publikacji:: 1959
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1959-1960, 48, 1; 59-69
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: An application of lattices to logic
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1383231.pdf
Data publikacji:: 1955
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1955, 42, 1; 83-100
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: On existential theorems in non-classical functional calculi
Autorzy:: Rasiowa, Helena
Sikorski, Roman
Powiązania:: https://bibliotekanauki.pl/articles/1383266.pdf
Data publikacji:: 1955
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1955, 41, 1; 21-28
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: On constructible falsity in the constructive logic with strong negation
Autorzy:: Białynicki-Birula, Andrzej
Rasiowa, Helena
Powiązania:: https://bibliotekanauki.pl/articles/968990.pdf
Data publikacji:: 1958
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Colloquium Mathematicum; 1958, 6, 1; 287-310
0010-1354
Pojawia się w:: Colloquium Mathematicum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
Autorzy:: Banachowski, L.
Kreczmar, A.
Mirkowska, G.
Rasiowa, Helena
Sławicki, A.
Powiązania:: https://bibliotekanauki.pl/articles/1361934.pdf
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Banach Center Publications; 1977, 2, 1; 7-99
0137-6934
Pojawia się w:: Banach Center Publications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Rasiowa, Helena" wg kryterium: Autor

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Autor

Typ dokumentu

Język