Wszystkie pola: logic - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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: 2.

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: 3.

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: 4.

Tytuł:: Remarks on predicate logic with infinitely long expressions
Autorzy:: Tarski, Alfred
Powiązania:: https://bibliotekanauki.pl/articles/968958.pdf
Data publikacji:: 1958
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Colloquium Mathematicum; 1958, 6, 1; 171-176
0010-1354
Pojawia się w:: Colloquium Mathematicum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: A complete first-order logic with infinitary predicates
Autorzy:: Keisler, H.
Powiązania:: https://bibliotekanauki.pl/articles/1382230.pdf
Data publikacji:: 1963
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1963, 52, 2; 177-203
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: The completeness of logic with the added quantifier "there are uncountable many"
Autorzy:: Vaught, R.
Powiązania:: https://bibliotekanauki.pl/articles/1382079.pdf
Data publikacji:: 1964
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1964, 54, 3; 303-304
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej
Application of mathematical logic (propositional calculus) to medical diagnosis
Применение математической логики (исчисление предложений) при постановке врачебного диагноза
Autorzy:: Wartak, J.
Powiązania:: https://bibliotekanauki.pl/articles/741404.pdf
Data publikacji:: 1964
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Applicationes Mathematicae; 1963-1964, 7, 4; 335-344
1233-7234
Pojawia się w:: Applicationes Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: A complete, infinitary axiomatization of weak second-order logic
Autorzy:: Lopez-Escobar, E.
Powiązania:: https://bibliotekanauki.pl/articles/1378278.pdf
Data publikacji:: 1967
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1967, 61, 1; 93-103
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Sequents in many valued logic I
Autorzy:: Rousseau, G.
Powiązania:: https://bibliotekanauki.pl/articles/1378299.pdf
Data publikacji:: 1967
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1967, 60, 1; 23-33
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Sequents in many valued logic II
Autorzy:: Rousseau, G.
Powiązania:: https://bibliotekanauki.pl/articles/1378076.pdf
Data publikacji:: 1970
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1970, 67, 1; 125-131
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: The conjunction of a particular form of majority logic functions and some of its properties
Koniunkcja większościowych funkcji logicznych szczególnej postaci i pewne jej własności
Объединение мажоритарных логических функций особого вида и некоторые его свойства
Autorzy:: Kulesza, R.
Powiązania:: https://bibliotekanauki.pl/articles/742271.pdf
Data publikacji:: 1970
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Applicationes Mathematicae; 1969-1970, 11, 3; 299-312
1233-7234
Pojawia się w:: Applicationes Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: On logic transformations of the binary stochastic process
O transformacjach logicznych binarnego procesu stochastycznego
Autorzy:: Korzan, B.
Powiązania:: https://bibliotekanauki.pl/articles/741174.pdf
Data publikacji:: 1971
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Applicationes Mathematicae; 1971, 12, 1; 23-32
1233-7234
Pojawia się w:: Applicationes Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Combinatory logic and the ω-rule
Autorzy:: Barondregt, Henk
Powiązania:: https://bibliotekanauki.pl/articles/1364720.pdf
Data publikacji:: 1974
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1974-1975, 82, 3; 199-215
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Equational logic and theories in sentential languages
Autorzy:: Suszko, Roman
Powiązania:: https://bibliotekanauki.pl/articles/722322.pdf
Data publikacji:: 1974
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Colloquium Mathematicum; 1974, 29, 1; 19-23
0010-1354
Pojawia się w:: Colloquium Mathematicum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Invariant sets in topology and logic
Autorzy:: Vaught, Robert
Powiązania:: https://bibliotekanauki.pl/articles/1364724.pdf
Data publikacji:: 1974
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1974-1975, 82, 3; 269-294
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "logic" wg kryterium: Wszystkie pola

Źródło danych

Dostawca treści

Podbaza

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język

Forma i typ