Temat: logika matematyczna - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Elementy logiki matematycznej
Autorzy:: Łukasiewicz, Jan (1878-1956)
Współwytwórcy:: Presburger, Mojżesz (1904-1943?). Oprac
Data publikacji:: cop. 2008
Wydawca:: Poznań : Wydawnictwo Naukowe im. Adama Mickiewicza, cop. 2008
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Pełny trójwartościowy rachunek zdań
Autorzy:: Słupecki, Jerzy (1904-1987)
Data publikacji:: 1946
Wydawca:: nakł. Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: logika matematyczna; Pokaż więcej
Źródło:: Zasoby Biblioteki Głównej UMCS
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Z badań nad prototetyką
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1939
Wydawca:: Warszawa : Warsz. Tow. Filozoficzne (Warszawa : P. Pyz)
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Matematičeskìe sofizmy
Autorzy:: Obreimov, Vasilij Ivanovič (1843-1910)
Współwytwórcy:: Pavlenkov, Florentij Fedorovič (1839-1900) Oprac
Data publikacji:: 1898
Wydawca:: S. Peterburg : [s.n.] (S. Peterburg : Û. Erlich)
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Reports on Mathematical Logic., Nr. 56 (2021)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Reports on Mathematical Logic, Nr.55 (2020)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Reports on Mathematical Logic, Nr.53 (2018)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Reports on Mathematical Logic, Nr.54 (2019)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Zasady algebry logiki
Autorzy:: Stamm, Edward (1886-1940) Autor
Współwytwórcy:: Dickstein, Samuel (1851-1939) Przedmowa
Data publikacji:: 1913
Wydawca:: Warszawa : "Wiadomości Matematyczne"
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Z historii logiki zdań modalnych
Autorzy:: Bocheński, Józef Maria (1902-1995) Autor
Data publikacji:: 1938
Wydawca:: Lwów : O.O. Dominikanie (Lwów : Druk. Dominikańska)
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Reports on Mathematical Logic, Nr.52 (2017)
Współwytwórcy:: Uniwersytet Śląski
Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Logical works
Autorzy:: Wajsberg, Mordechaj (1902- )
Współwytwórcy:: Surma, Stanisław Józef Red.
Data publikacji:: 1977
Wydawca:: Wrocław ; Kraków : Zakład Narodowy im. Ossolińskich
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: A precis of mathematical logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Współwytwórcy:: Bird, Otto A. (1914- ) Tł.
Data publikacji:: cop. 1959
Wydawca:: Dordrecht : D. Reidel, cop. 1959
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: W sprawie dobrze skonstruowanej aksjomatyki
Autorzy:: Sobociński, Bolesław
Współwytwórcy:: Stuchliński, Józef Andrzej (1942- ). Tł.
Data publikacji:: 2004
Tematy:: Logika matematyczna
Dedukcja; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Pojęcie prawdy w językach nauk dedukcyjnych
Autorzy:: Tarski, Alfred (1901-1983)
Współwytwórcy:: Towarzystwo Naukowe Warszawskie
Data publikacji:: 1933
Wydawca:: Warszawa : Tow. Naukowe Warszawskie (Warszawa : J. Dziewulski)
Tematy:: Logika matematyczna
Prawda; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Introduction to logic and to the methodology of the deductive sciences
Autorzy:: Tarski, Alfred (1901-1983)
Współwytwórcy:: Tarski, Jan Red.
Data publikacji:: 1994
Wydawca:: New York ; Oxford : Oxford Univ. Press
Tematy:: Dedukcja
Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: A Gentle Guide to Constraint Logic Programming via ECLiPSe
Autorzy:: Niederliński, Antoni
Data publikacji:: 2014
Wydawca:: Jacek Skalmierski Computer Studio
Słowa kluczowe:: programowanie
kombinatoryka
logika matematyczna; Pokaż więcej
Źródło:: Kolekcja prywatna
Dostawca treści:: Śląska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Formale Logik
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: cop. 1956
Wydawca:: Freiburg : K. Alber, cop. 1956
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Ancient formal logic
Autorzy:: Bocheński, Józef Maria (1902-1995)
Data publikacji:: 1968
Wydawca:: Amsterdam : North-Holland Publ. Co.
Tematy:: Logika formalna
Logika matematyczna - historia; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Applications of Logic in Philosophy and the Foundations of Mathematics : XXV conference, 12-13 May 2022
Autorzy:: Conference Applications of Logic in Philosophy and the Foundations of Mathematics (25 ; 2022) Instytucja sprawcza
Współwytwórcy:: Katedra Logiki i Metodologii Nauk (Uniwersytet Wrocławski) Wydawca
Selinger, Marcin Redakcja
Kruszelnicka, Małgorzata (matematyk) Redakcja
Siemieńczuk, Krzysztof Redakcja
Skowron, Bartłomiej (1984- ) Redakcja
Data publikacji:: 2022
Wydawca:: Wrocław : Department of Logic and Methodology of Sciences. University of Wrocław
Tematy:: Logika
Logika matematyczna
Podstawy matematyki; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Inne

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Elementy logiki matematycznej i metodologii nauk ścisłych
Autorzy:: Jaśkowski, Stanisław (1906-1965). Autor
Współwytwórcy:: Indrzejczak, Andrzej (1964- ). Opracowanie Wstęp
Wydawnictwo Uniwersytetu Łódzkiego. Wydawca
Data publikacji:: 2018
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Dedukcja naturalna
Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Inne

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: A quick and gentle guide to constraint logic programming via ECLiPSe
Autorzy:: Antoni Niederliński
Data publikacji:: 2014
Wydawca:: Jacek Skalmierski Computer Studio
Słowa kluczowe:: kombinatoryka
logika matematyczna
programowanie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Ekonomicznego w Katowicach

Książka

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Building the cosmological models vs. different models of set theory
Autorzy:: Krzysztof Bielas
Jerzy Król
Torsten Asselmeyer-Maluga
Data publikacji:: 2015
Słowa kluczowe:: logika matematyczna, kosmologia, kwantowa teoria pola; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Śląskiego w Katowicach

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Functors for alternative categories
Autorzy:: Trybulec, Andrzej
Data publikacji:: 1996
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Errata on "On the variety of Heyting algebras with successor generated by all finite chains"
Autorzy:: Castiglioni, José L.
Współwytwórcy:: San Martín, Hernán J.
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: A meta-logic of inference rules : syntax
Autorzy:: Citkin, Alex
Data publikacji:: 2015
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Correctness of a cyclic redundancy check code generator
Współwytwórcy:: Wasaki, Katsumi
Fuwa, Yasushi
Nakamura, Yatsuka
Yang Yu-guang
Data publikacji:: 1999
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Logic gates and logical equivalence of Adders
Autorzy:: Nakamura, Yatsuka
Data publikacji:: 1999
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Zarys logiki matematycznej
Autorzy:: Grzegorczyk, Andrzej (1922-2014)
Data publikacji:: 1961
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Reports on Mathematical Logic, No. 42 (2007)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Reports on Mathematical Logic, No. 41 (2006)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Reports on Mathematical Logic, No. 40 (2006)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Reports on Mathematical Logic, No. 47 (2012)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Reports on Mathematical Logic, No. 46 (2011)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Reports on Mathematical Logic, No. 2 (1974)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Reports on Mathematical Logic, No. 4 (1975)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Reports on Mathematical Logic, No. 5 (1975)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Reports on Mathematical Logic, No. 7 (1976)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Reports on Mathematical Logic, No. 14 (1982)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Reports on Mathematical Logic, No. 16 (1983)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Reports on Mathematical Logic, No. 18 (1984)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Reports on Mathematical Logic, No. 26 (1992)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Reports on Mathematical Logic, No. 27 (1993)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Reports on Mathematical Logic, No. 31 (1997)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: La logique géométrique et sa portée philosophique
Autorzy:: Bornstein, Benedykt (1880-1948)
Współwytwórcy:: Towarzystwo Autorów i Wydawców Prac Naukowych Universitas
Data publikacji:: 1928
Wydawca:: Varsaviae : Universitas Liberae Polonae (Varsoviae : "J. Cotty")
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Representations of reals in reverse mathematics
Autorzy:: Hirst, Jeffry L. (1957- )
Data publikacji:: 2007
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: L-like combinatorial principles and level by level equivalence
Autorzy:: Apter, Arthur W.
Data publikacji:: 2009
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Rachunek nazw z listami
Autorzy:: Wojciechowski, Eugeniusz
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Model checking. Part II
Autorzy:: Ishida, Kazuhisa
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Definition of first order language with arbitary alphabet : syntax of terms, atomic formulas and their subterms
Autorzy:: Caminati, Marco B.
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: First order languages : further syntax and semantics
Autorzy:: Caminati, Marco B.
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: A model of mizar concepts : unification
Autorzy:: Bancerek, Grzegorz
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Rejected axioms for the "nonsense-logic" W and the k-valued logic of Sobociński
Autorzy:: Sochacki, Robert
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: A class of simpler logical matrices for the variable-sharing property
Autorzy:: Robles Vázquez, Gemma
Współwytwórcy:: Méndez, José M.
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Refutation systems for a system of nonsense-logic
Autorzy:: Sochacki, Robert
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Two weak Lambek-style calculi : DNL and DNL-
Autorzy:: Zielonka, Wojciech
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: The theory of form logic
Autorzy:: Freitag, Wolfgang
Współwytwórcy:: Zinke, Alexandra
Data publikacji:: 2012
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: On minimal models for pure calculi of names
Autorzy:: Kulicki, Piotr (1969- )
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Non-meager p-filters are countable dense homogeneous
Autorzy:: Hernández-Gutiérrez, Rodrigo
Współwytwórcy:: Hrušák, Michael (1970- )
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Large continuum, oracles
Autorzy:: Shelah, Saharon (1945- )
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Characteristic polynomials of sample covariance matrices : the non-square case
Autorzy:: Kösters, Holger (1978- )
Data publikacji:: 2010
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Logika matematyczna
Autorzy:: Quine, W. V. (1908-2000)
Współwytwórcy:: Koj, Leon (1929-2006). Tł.
Data publikacji:: 1974 :
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe : (Druk. im. Rewol. Paźdz.)
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: The covering number for category and partition relations on Pω(Λ)
Autorzy:: Matet, Pierre
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: The diameter of a Lascar strong type
Autorzy:: Newelski, Ludomir
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: The isomorphism relation on countable torsion free abelian groups
Autorzy:: Hjorth, Greg (1963-2011)
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: More on the Ehrenfeucht-Fraïssé game of lenght ́w1
Autorzy:: Hyttinen, Tapani
Współwytwórcy:: Väänänen, Jouko (1950- )
Shelah, Saharon (1945- )
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: The number of L?κ-equivalent nonisomorphic models for k weakly compact
Autorzy:: Shelah, Saharon (1945- )
Współwytwórcy:: Väisänen, Pauli
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Stronger ideals over Pκλ
Autorzy:: Matsubara, Yo (1956- )
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Three-quantifier sentences
Autorzy:: Friedman, Harvey (1948- )
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: On level by level equivalence and inequivalence between strong compactness and supercompactness
Autorzy:: Apter, Arthur W.
Data publikacji:: 2002
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Quasi-bounded trees and analytic inductions
Autorzy:: Saint Raymond, Jean (1946- )
Data publikacji:: 2006
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Equimorphism invariants for scattered linear orderings
Autorzy:: Montalbán, Antonio
Data publikacji:: 2006
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Decompositions of saturated models of stable theories
Autorzy:: Laskowski, Michael Chris
Współwytwórcy:: Shelah, Saharon (1945- )
Data publikacji:: 2006
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Semiproper ideals
Autorzy:: Sakai, Hiroshi (1977- )
Data publikacji:: 2005
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: α-Properness and Axiom A
Autorzy:: Ishiu, Tetsuya
Data publikacji:: 2005
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: A note on Δ1 induction and Σ1 collection
Autorzy:: Thapen, Neil.
Data publikacji:: 2005
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Stationary reflection and the universal Baire property
Autorzy:: Zoble, Stuart
Data publikacji:: 2006
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: How many normal measures can [aleph]ω+1 carry?
Autorzy:: Apter, Arthur W.
Data publikacji:: 2006
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: On the Leibniz-Mycielski axiom in set theory
Autorzy:: Enayat, Ali (1959- )
Data publikacji:: 2004
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Extensions with the approximation and cover properties have no new large cardinals
Autorzy:: Hamkins, Joel David
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Thickness, and a categoric view of type-space functors
Autorzy:: Ben, Yaacov, Itaï
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Reflection implies the SCH
Autorzy:: Shelah, Saharon (1945- )
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: A first-order version of Pfaffian closure
Autorzy:: Fratarcangeli, Sergio
Data publikacji:: 2008
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: The effective Borel hierarchy
Autorzy:: Vanden Boom, M.
Data publikacji:: 2007
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Superstability in simple finitary AECs
Autorzy:: Hyttinen, Tapani
Współwytwórcy:: Kesälä, Meeri
Data publikacji:: 2007
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: MAD families with strong combinatorial properties
Autorzy:: Brendle, Jörg
Współwytwórcy:: Piper, Greg
Data publikacji:: 2007
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Rachunek nazw z listami
Autorzy:: Wojciechowski, Eugeniusz
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Reports on Mathematical Logic, No. 13 (1981)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Three-element non-finitely axiomatizable matrices and term-equivalence
Autorzy:: Pałasińska, Katarzyna
Data publikacji:: 2014
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Reports on Mathematical Logic, No. 49 (2014)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: Reports on Mathematical Logic, No. 50 (2015)
Współwytwórcy:: Uniwersytet Jagielloński
Wydawnictwo Uniwersytetu Jagiellońskiego
Uniwersytet Śląski
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Czasopismo

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: A note on Newmans algebraic systems
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1973
Wydawca:: Notre Dame, IN : University of Notre Dame
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: A short postulate-system for ortholattices
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1975
Wydawca:: Notre Dame, IN : University of Notre Dame
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: An abbreviation of croisots axiom-system for distributive lattices with I
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1972
Wydawca:: Notre Dame, IN : University of Notre Dame
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Six new sets of independent axioms for distributive lattices with O and I
Autorzy:: Sobociński, Bolesław (1906-1980)
Data publikacji:: 1962
Wydawca:: Notre Dame, Indiana : University of Notre Dame
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Książka

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Quasiorders, tolerance relations and corresponding "partitions"
Autorzy:: Nowak, Marek (1957- ; filozof). Autor
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Fakty matematyczne w świetle logiki niefregowskiej
Autorzy:: Krysztofiak, Wojciech (1963- )
Data publikacji:: 2011
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Partial and paraconsistent three-valued logics
Autorzy:: Degauquier, Vincent
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Indestructibility of generically strong cardinals
Autorzy:: Cody, Brent
Współwytwórcy:: Cox, Sean
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: On rigid relation principles in set theory without the axiom of choice
Autorzy:: Howard, Paul (1943- )
Współwytwórcy:: Tachtsis, Eleftherios
Data publikacji:: 2016
Tematy:: Logika matematyczna; Pokaż więcej
Źródło:: Biblioteka Narodowa
Dostawca treści:: Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logika matematyczna" wg kryterium: Temat