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

Skocz do pozycji 1.

Tytuł pełny:: Elemente der mathematischen Logik : für den Gebrauch in Physik und Technik / von M. Albert Kaaz
Wydawca:: München ; Wien : R. Oldenbourg Verlag
Rok wydania:: 1977
Temat:: Logika matematyczna nieklasyczna - zastosowania naukowe.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Some homological constructions in representation theory / Pavle Pandžić. Characteristic classes and bisimulations of generalized Veltman models / Mladen Vuković
Wydawca:: Graz : Universität Graz
Rok wydania:: 1999
Seria:: Grazer Mathematische Berichte, 1016-7692 ; Nr. 341
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka
Wydawca:: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego
Rok wydania:: 2012
Seria:: Rozprawy i Monografie / Uniwersytet Warmińsko-Mazurski w Olsztynie = Dissertations and Monographs / University of Warmia and Mazury in Olsztyn, 1509-3018 ; 176
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Provability in logic / Stig Kanger
Wydawca:: Stockholm : Almqvist & Wiksells
Rok wydania:: 1957
Seria:: Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy ; 1
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Logiki nihilistyczne, czyli Teorie prawd "powierzchownych" i "głębokich" / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania:: 2001
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Essays in matrix semantics of relevant logics / Marek Tokarz ; The Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Warszawa : The Institute of Philosophy and Sociology of the Polish Academy of Sciences
Rok wydania:: 1980
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Einführung in die Mathematische Logik: die Einleitung der Principia Mathematica / Bertrand Russell und Alfred North Whitehead; ins Deutsche übertragen von Hans Mokre
Wydawca:: München ; Berlin : Drei Masken Verlag
Rok wydania:: 1932
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Przewodnik do ćwiczeń z algebry z elementami logiki matematycznej i teorii mnogości : dla studentów wydziałów technicznych / Elżbieta Kasperska, Andrzej Kasperski, Bożena Piątek
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Wydanie:: Wydanie II
Rok wydania:: 2016
Temat:: Algebra - podręczniki akademickie.
Logika matematyczna nieklasyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Przewodnik do ćwiczeń z algebry z elementami logiki matematycznej i teorii mnogości : dla studentów wydziałów technicznych / Elżbieta Kasperska, Andrzej Kasperski, Bożena Piątek
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:: 2014
Temat:: Algebra - podręczniki akademickie.
Logika matematyczna nieklasyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Unification types in logic / Wojciech Dzik
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:: 2007
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 2554
Temat:: Unifikacja (logika).
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Reports on Mathematical Logic / The Jagiellonian University of Cracow, The Silesian University of Katowice
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Rok wydania:: 1973-
Temat:: Logika symboliczna i matematyczna - czasopisma.
Logika matematyczna nieklasyczna - czasopisma.
Gatunek / Forma:: Czasopisma naukowe - Polska - 1970-2000.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Mathematical foundations of computer science 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / ed. by J. Bečvář
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1979
Seria:: Lecture Notes in Computer Science ; 74
Temat:: Języki programowania - konferencje.
Komputery - programowanie - konferencje.
Algorytmy - konferencje.
Weryfikacja oprogramowania - konferencje.
Logika matematyczna nieklasyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Logika / Graham Priest ; tłumaczenie Elżbieta Drozdowska
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Wydanie:: Wydanie I
Rok wydania:: 2023
Seria:: Krótkie Wprowadzenie
Temat:: Logika.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Moderne Logik : Abriss der formalen Logik / Georg Klaus
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Wydanie:: 3. berichtigte Aufl
Rok wydania:: 1966
Temat:: Logika matematyczna nieklasyczna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Schriften zur Logik : aus dem Nachlass / Gottlob Frege ; mit einer Einl. von Lothar Kreiser
Wydawca:: Berlin : Akademie-Verlag
Rok wydania:: 1973
Seria:: Philosophische Studientexte
Temat:: Logika.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Wnioskowanie w logikach nieklasycznych : podstawy teoretyczne / Leonard Bolc [et al.]
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza PLJ
Rok wydania:: 1995
Seria:: Problemy Współczesnej Nauki : teoria i zastosowanie. Informatyka
Temat:: Logika matematyczna nieklasyczna.
Wnioskowanie.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Models and ultraproducts : an introduction / by J. L. Bell and A. B. Slomson
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1969
Temat:: Logika matematyczna nieklasyczna.
Teoria modeli.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Wprowadzenie do logik adaptywnych / Marek Nasieniewski
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2008
Temat:: Logika matematyczna nieklasyczna.
Sprzeczność.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Zum Sprachgebrauch in der Mathematik / von H. Bock, S. Gottwald, R.-P. Mühlig
Wydawca:: Leipzig : Akademische Verlagsgesellschaft Geest & Portig K.-G
Rok wydania:: 1972
Seria:: Lehrprogrammbücher Hochschulstudium. Mathematik ; 1
Temat:: Logika matematyczna nieklasyczna.
Matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Teorja dowodu. T. 2 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J
Rok wydania:: 1929
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 2
Temat:: Logika matematyczna nieklasyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Elementy logiki matematycznej i algebry wyższej w przykladach i ćwiczeniach : dla wyższych studiów technicznych : praca zbiorowa / zespól autorski: Olga Bereśniewicz-Rajca, Krystyna Szczerbińska, Jan Walichiewicz
Wydawca:: Gliwice : Dział Wydawnictw Politechniki Śląskiej
Rok wydania:: 1970
Seria:: Skrypty Uczelniane / Politechnika Śląska im. Wincentego Pstrowskiego ; nr 265
Temat:: Logika matematyczna nieklasyczna.
Algebra - podręczniki dla szkół średnich.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algebra - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Prawda, fałsz i hipoteza : o pewnych nieklasycznych logikach i ich zastosowaniach / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Arboretum
Rok wydania:: 2022
Temat:: Logika.
Logika matematyczna nieklasyczna.
Paradoks.
Antynomia.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Definability and infinitely deep languages / Heikki Heikkilä
Wydawca:: Helsinki : Suomalainen Tiedeakatemia
Rok wydania:: 1993
Seria:: Annales Academiae Scientiarum Fennicae. Mathematica. Dissertationes ; 89
Temat:: Lingwistyka matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: A beginner's further guide to mathematical logic / Raymond Smullyan
Wydawca:: Singapore [et al.] : World Scientific
Rok wydania:: cop. 2017
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Mathematische Gesetze der Logik. 1, Vorlesungen über Aussagenlogik / von H. Arnold Schmidt
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1960
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 69
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Logika matematyczna / Willard Van Orman Quine ; przełożył Leon Koj
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie pierwsze
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Elementy logiki matematycznej / Jan Łukasiewicz ; Polska Akademia Nauk. Instytut Filozofii i Socjologii - Zakład Logiki
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1958
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S. G. Sterrett
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: cop. 2014
Temat:: Teoria dowodu.
Funkcje obliczalne.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Èlementy matematičeskoj logiki i teorii množestv / R. T. Vol'vačev
Wydawca:: Minsk : Izdat. "Universitetskoe"
Rok wydania:: 1986
Temat:: Logika matematyczna nieklasyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: Logiczne podstawy nauk ścisłych / Adam Nowaczyk
Wydawca:: Warszawa : Instytut Filozofii i Socjologii PAN
Rok wydania:: 1985
Temat:: Fizyka - filozofia.
Logika matematyczna nieklasyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Teorja dowodu. T. 1 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J., ([Kraków] : Drukarnia Uniwersytetu Jagiellońskiego pod zarządem Józefa Filipowskiego)
Rok wydania:: 1925
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 1
Temat:: Teoria dowodu.
Logika starożytna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Równość, podobieństwo, porządek / J. A. Szrejder ; z języka rosyjskiego przełożyła Maria Semeniuk-Polkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1975
Temat:: Logika matematyczna nieklasyczna.
Lingwistyka matematyczna.
Logika symboliczna i matematyczna.
Teoria grafów.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: The semantic conception of logic : essays on consequence, invariance, and meaning / edited by Gil Sagi, Jack Woods
Wydawca:: Cambridge [i pozostałe] : Cambridge University Press
Wydanie:: First paperback edition
Rok wydania:: 2023
Temat:: Logika.
Logika matematyczna nieklasyczna.
Semantyka.
Teoria liczb.
Semantyka (filozofia).
Językoznawstwo - informatyka.
Gatunek / Forma:: Książki
Publikacje popularnonaukowe
Praca zbiorowa
Opracowanie

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Proceduralny model języka : językoznawstwo z pozycji teorii modeli nauk empirycznych / Dorota Zielińska
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2007
Temat:: Językoznawstwo kognitywne.
Językoznawstwo - metodologia.
Modele matematyczne.
Modele lingwistyczne.
Lingwistyka matematyczna.
Komunikacja.
Językoznawstwo porównawcze.
Język angielski - przymiotniki.
Język polski - przymiotniki.
Język polski - semantyka.
Język angielski - semantyka.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Rachunek sensu jednej i dwu zmiennych / Jan Długosz ; [oprac. Stanisław Ziemiański]
Wydawca:: Kraków : Wyższa Szkoła Filozoficzno-Pedagogiczna IGNATIANUM : Wydawnictwo WAM
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie drugie, zmienione i rozszerzone
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 3
Rok wydania:: 1975
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Lectures on propositional calculi / Ryszard Wójcicki ; The Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Wrocław : Ossolineum
Rok wydania:: 1984
Temat:: Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: Algebry związane z teoriami zawierającymi definicje warunkowe / Katarzyna Hałkowska
Wydawca:: Warszawa ; Wrocław : Państwowe Wydawnictwo Naukowe
Rok wydania:: cop. 1979
Seria:: Prace Opolskiego Towarzystwa Przyjaciół Nauk. Wydział IV - Nauk Technicznych i Ścisłych
Temat:: Logika symboliczna i matematyczna.
Logika algebraiczna.
Rachunek zdań.
Zdania warunkowe (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 41.

Tytuł pełny:: Wzajemna interpretowalność rachunków zdaniowych: zarys teorii / Piotr Wojtylak
Wydawca:: Katowice
Rok wydania:: 1977
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Rachunek zdań.
Logika symboliczna i matematyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika matematyczna nieklasyczna." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu