Temat: Logika intuicjonistyczna. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Logika intuicjonistyczna." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-14 z 14

Zaznacz stronę

Skocz do pozycji 1.

Tytuł pełny:: Osobliwość logiki intuicjonistycznej / Bożena Czernecka-Rej ; Katolicki Uniwersytet Lubelski Jana Pawła II. Wydział Filozofii. Katedra Logiki
Wydawca:: Lublin : Wydawnictwo KUL
Rok wydania:: 2014
Temat:: Logika intuicjonistyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Vollständige Systeme modaler und intuitionistischer Logik / Kurt Schütte
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1968
Seria:: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).
Logika intuicjonistyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Intuicjonistyczne zbiory rozmyte i ich zastosowanie we wspomaganiu decyzji ekonomicznych / Piotr Dworniczak
Wydawca:: Poznań : Bogucki Wydawnictwo Naukowe
Rok wydania:: 2020
Temat:: Zbiory rozmyte - zastosowania naukowe.
Logika intuicjonistyczna.
Podejmowanie decyzji.
Ekonomia.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Kwantyfikatory rzędu drugiego w logice intuicjonistycznej / Tomasz Połacik
Wydawca:: Katowice
Rok wydania:: 1995
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Kwantyfikatory.
Logika intuicjonistyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu / Małgorzata Kruszelnicka
Wydawca:: Katowice
Rok wydania:: 2014
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Modalność (logika).
Intuicjonizm matematyczny.
Logika intuicjonistyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej / Anna Glenszczyk
Wydawca:: Katowice
Rok wydania:: 2017
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Logika intuicjonistyczna.
Intuicjonizm matematyczny.
Modalność (logika).
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Intuitionismus / von Luitzen Egbertus Jan Brouwer ; hrsg., eingeleitet und kommentiert von Dirk van Dalen
Wydawca:: Mannheim [etc.] : BI Wissenschaftsverlag
Rok wydania:: cop. 1992
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1969
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 95
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1980
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 167
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Elements of intuitionism / by Michael Dummett
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1977
Temat:: Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.
Formalizacja (matematyka).

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Metodologičeskie problemy intuicionistskoj matematiki / M. I. Panov ; otv. red. E. F. Solopov ; Akademiâ Nauk SSSR. Central'nyj Sovet Filosofskih (Metodologičeskih) Seminarov pri Prezidiume AN SSSR
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1984
Temat:: Intuicjonizm matematyczny.
Metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
Wydawca:: Amsterdam : North-Holland Pub. Co
Rok wydania:: 1965
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Funkcje rekursywne.
Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Proof theory and intuitionistic systems / Bruno Scarpellini
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1971
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 212
Temat:: Teoria dowodu.
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Mathematics ; 344
Temat:: Teoria dowodu.
Teoria modeli.
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Wyświetlanie 1-14 z 14

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz

Informacja

Wyszukujesz frazę "Logika intuicjonistyczna." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu