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

Skocz do pozycji 1.

Tytuł pełny:: Temporal logic of programs / Fred Kröger
Wydawca:: Berlin ; New York : Springer-Verlag
Rok wydania:: 1987
Seria:: EATCS Monographs on Theoretical Computer Science, 1431-2646 ; vol. 8
Temat:: Logika temporalna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Logic / Nick Earle
Wydawca:: London : Macmillan
Rok wydania:: 1973
Seria:: Introductory monographs in mathematics
Temat:: Logika symboliczna i matematyczna.
Logika nowożytna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Assumptions of grand logics / by James K. Feibleman
Wydawca:: Hague : Martinus Nijhoff
Rok wydania:: 1979
Temat:: Filozofia logiki.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: From a logical point of view : 9 logico-philosophical essays / Willard Van Orman Quine
Wydawca:: Cambridge ; London : Harvard University
Wydanie:: 2nd ed., revised
Rok wydania:: 1980
Temat:: Filozofia logiki.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Filozofia logiki / Willard Van Orman Quine ; przeł. Barbara Stanosz
Wydawca:: Warszawa : "Aletheia"
Rok wydania:: 2002
Temat:: Logika.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Philosophy of logic / Hilary Putnam
Wydawca:: London : George Allen & Unwin
Rok wydania:: 1972
Seria:: Essays in Philosophy
Temat:: Logika.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Z zagadnień logiki i filozofii : pisma wybrane / Jan Łukasiewicz ; wyboru dokonał, wstępem i przypisami opatrzył Jerzy Słupecki
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1961
Temat:: Logika.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Time and modality / by A. N. Prior
Wydawca:: Westport : Greenwood Press, Publishers
Rok wydania:: 1979
Temat:: Modalność (logika).
Logika temporalna.
Logika deontyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: New thinking about propositions / Jeffrey C. King, Scott Soames, Jeff Speaks
Wydawca:: Oxford : Oxford University Press
Wydanie:: 1st published in paperback
Rok wydania:: 2016
Temat:: Zdanie (logika).
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: The method of Socratic proofs for normal modal propositional logics / Dorota Leszczyńska
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:: 2007
Seria:: Seria Filozofia i Logika / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0083-4246 ; nr 101
Temat:: Socrates (470-399 p.n.e.) - wpływ.
Modalność (logika).
Pytanie (logika).
Logika symboliczna i matematyczna.
Zdanie (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk / ed. by Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński
Wydawca:: Bialystok : University of Bialystok
Rok wydania:: 2012
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 27 (40)
Temat:: Grzegorczyk, Andrzej (1922-2014) - księgi pamiątkowe.
Logika symboliczna i matematyczna.
Logika informatyczna.
Język i logika.
Logika symboliczna i matematyczna - konferencje.
Logika informatyczna - konferencje.
Język i logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser
Wydawca:: Berlin : Akademie-Verlag
Wydanie:: 2. durchges. Aufl
Rok wydania:: 1973
Temat:: Logika nowożytna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Natural deduction : a proof-theoretical study / Dag Prawitz
Wydawca:: Stockholm [etc.] : Almqvist & Wiksell
Rok wydania:: 1965
Seria:: Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy ; 3
Temat:: Logika.
Logika symboliczna i matematyczna.
Modalność (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Neklassičeskaâ logika / otv. red. P. V. Tavanec ; Akademiâ nauk SSSR. Institut filosofii
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Rok wydania:: 1970
Temat:: Logika symboliczna i matematyczna.
Logika nowożytna.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Studia logiczne : wybór / Ludwik Borkowski
Wydawca:: Lublin : TN KUL
Rok wydania:: 1990
Seria:: Rozprawy Wydziału Filozoficznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 51
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie pierwsze
Rok wydania:: 1987
Temat:: Logika symboliczna i matematyczna - encyklopedie.
Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Zagadnienie sprowadzalności w antyredukcjonistycznych teoriach pytań / Piotr Leśniewski
Wydawca:: Poznań : Wydawnictwo Naukowe IF UAM
Rok wydania:: 1997
Seria:: Wydawnictwo Naukowe Instytutu Filozofii / Uniwersytet im. Adama Mickiewicza w Poznaniu ; t. 43
Temat:: Język i logika.
Pytanie (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Formale Logik / J.M. Bocheński
Wydawca:: Freiburg [im Breisgau] ; München : K. Alber
Wydanie:: 4. Aufl
Rok wydania:: 1978
Seria:: Orbis Academicus : Problemgeschichten der Wissenschaft in Dokumenten und Darstellungen ; Bd. 3
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Formalizm w logice współczesnej / Mihailo Marković ; [z jęz. serb.-chorw. tł. Branko Cirlić]
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1962
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Formale Logik / von I. M. Bocheński
Wydawca:: Freiburg ; München : Karl Alber
Rok wydania:: cop. 1956
Seria:: Orbis Academicus : Problemgeschichten der Wissenschaft in Dokumenten und Darstellungen ; Bd. 3/2
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Pytania i odpowiedzi : ujęcie teoriomnogościowe / Adam Jonkisz
Wydawca:: Kraków : Wydawnictwo Naukowe Akademii Ignatianum
Rok wydania:: 2020
Temat:: Pytanie (logika).
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Grundriß der formalen Logik / I. M. Bocheński ; aus dem Französischen übers., neu bearb. und erw. von Albert Menne
Wydawca:: Paderborn : Ferdinand Schöningh
Wydanie:: 5. Aufl
Rok wydania:: 1983
Seria:: Uni-Taschenbücher ; 59
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Logik / Horst Wessel
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Philosophical logic / ed. by J. W. Davis, D. J. Hockney, and W. K. Wilson
Wydawca:: Dordrecht : D. Reidel Publishing Company
Rok wydania:: 1969
Seria:: Synthese Library
Temat:: Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Philosophical logic / guest editor: Andrew Schumann
Wydawca:: Białystok : University of Białystok
Rok wydania:: 2008
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 14 (27)
Temat:: Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Logika temporalna : wybrane zagadnienia / Kazimierz Trzęsicki
Wydawca:: Białystok : Wydawnictwo Uniwersytetu
Rok wydania:: 2008
Temat:: Logika temporalna.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Logic in computer science II / editor: Silvia Ghilezan
Wydawca:: Beograd : Matematički Institut SANU
Rok wydania:: 2015
Seria:: Zbornik Radova ; 18 (26)
Temat:: Logika - informatyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Logika w rozwiązywaniu zadań / Robert Kowalski ; z angielskiego przełożył Paweł Luboński
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1989
Seria:: Biblioteka Inżynierii Oprogramowania
Temat:: Logika.
Logika informatyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

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 30.

Tytuł pełny:: Przedmiot logiki formalnej oraz jej stosowalność / Stanisław Kiczuk ; Katolicki Uniwersytet Lubelski. Wydział Filozofii
Wydawca:: Lublin : Redakcja Wydawnictw KUL
Rok wydania:: 2001
Temat:: Nauki przyrodnicze - metodologia.
Logika.
Logika - metodologia.
Logika - zastosowania naukowe.
Filozofia - metodologia.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Philosophy of logic / W. V. Quine
Wydawca:: Englewood Cliffs, NJ : Prentice-Hall
Rok wydania:: cop. 1970
Seria:: Prentice-Hall Foundations of Philosophy Series
Temat:: Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Z punktu widzenia logiki : eseje logiczno-filozoficzne / Willard Van Orman Quine ; tł. i słowo wstępne Barbara Stanosz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1969
Temat:: Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Tense logic / Robert P. McArthur
Wydawca:: Dordrecht ; Boston : D. Reidel Publishing Company
Rok wydania:: cop. 1976
Seria:: Synthese Library : monographs on epistemology, logic, philosophy of science, sociology of science and of knowledge, an on the mathematical methods of social and behavioral sciences ; vol. 111
Temat:: Logika temporalna.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Logika matematyczna. Cz. 1, Algebra logiki (zarys dziejów) / Stanisław Kaczorowski
Wydawca:: Łódź : Księgarnia Naukowa
Wydanie:: Wyd. 2
Rok wydania:: 1946
Seria:: Licealna Biblioteczka Filozoficzna ; t. 6
Temat:: Logika symboliczna i matematyczna.
Logika - podręczniki dla liceów.
Logika - podręczniki dla szkół średnich.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Subalgebras of diagonalizable algebras of theories containing arithmetic / V. Yu. Shavrukov ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1993
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 323
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Intensional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin
Wydawca:: Amsterdam ; Oxford : North-Holland Publishing Company; New York: American Elsevier Publishing Company
Rok wydania:: 1975
Seria:: North-Holland Mathematics Studies, 0304-0208 ; 19
Temat:: Modalność (logika).
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Podstawowe zagadnienia filozofii : wybrane "problemy" "logiki" / Martin Heidegger ; przełożył i słownikiem opatrzył Wawrzyniec Rymkiewicz
Wydawca:: Warszawa : Fundacja Augusta hr. Cieszkowskiego
Wydanie:: Wydanie pierwsze
Rok wydania:: 2017
Seria:: Klasycy Filozofii Niemieckiej
Temat:: Prawda.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: Von der Wahrheit / Karl Jaspers
Wydawca:: München : R. Piper & Co Verlag
Wydanie:: Neuausg. 6.-10. Tausend
Rok wydania:: 1958
Seria:: Philosophische Logik / Karl Jaspers ; Bd. 1
Temat:: Filozofia logiki.
Prawda.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Logic in computer science / ed. Zoran Ognjanović
Wydawca:: Beograd : Matematički institut SANU
Rok wydania:: 2009
Seria:: Zbornik Radova - Matematički Institut ; 12 (20)
Temat:: Programowanie logiczne.
Logika informatyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

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 41.

Tytuł pełny:: Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Logika stoików / Benson Mates ; [tł. Andrzej Kruk]
Wydawca:: Warszawa : Akademia Teologii Katolickiej
Rok wydania:: 1971
Temat:: Logika starożytna.
Stoicy.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: The mathematics of logic : a guide to completeness theorems and their appplications / Richard Kaye
Wydawca:: Cambridge : University Press
Rok wydania:: 2007
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Issues of decidability and tractability / guest ed.: Witold Marciszewski ; University of Białystok
Wydawca:: Białystok : Wydawnictwo Uniwersytetu w Białymstoku
Rok wydania:: 2006
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 9 (22)
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Predykacja, negacja i kwantyfikacja / Eugeniusz Wojciechowski
Wydawca:: Kraków : Aureus
Rok wydania:: 2019
Temat:: Predykcja (logika).
Negacja (logika).
Język i logika.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Teoretyczne problemy logiki praktycznej / Wojciech Suchoń
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Stanovlenie idej matematičeskoj logiki / N. I. Stâžkin ; Akademia Nauk SSSR. Institut Filosofii
Wydawca:: Moskva : Izdatel'stvo Nauka
Rok wydania:: 1964
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

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 49.

Tytuł pełny:: Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Temat:: Logika symboliczna i matematyczna - podręczniki.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:: 2016
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 51.

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 52.

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 53.

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 54.

Tytuł pełny:: Pojęcie prawdy w językach nauk dedukcyjnych / Alfred Tarski
Wydawca:: Warszawa : nakładem Towarzystwa Naukowego Warszawskiego, z zasiłku Ministerstwa Wyznań Religijnych i Oświecenia Publicznego, (Warszawa : Dziewulski)
Rok wydania:: 1933
Seria:: Prace Towarzystwa Naukowego Warszawskiego. Wydział III: Nauk Matematyczno-Fizycznych ; nr 34
Temat:: Prawda.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Philosophical problems in logic : some recent developments / ed. by Karel Lambert
Wydawca:: Dordrecht : D. Reidel Publishing Company
Rok wydania:: cop. 1970
Seria:: Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Temat:: Modalność (logika).
Logika nowożytna.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Elementy logiki matematycznej / Jan Łukasiewicz ; oprac. M. Presburger
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:: cop. 2008
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 4
Rok wydania:: 1975
Seria:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Zur Modelltheorie der CA-Gruppen : Dissertation der Mathematischen Fakultat der Eberhard-Karls-Universitat Tubingen zur Erlangung des Grades eines Doktors der Naturwissenschaften / vorgelegt von Andreas Ecker
Wydawca:: Tubingen : Eberhard-Karls-Universitat
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Introduction to mathematical logic / Elliott Mendelson
Wydawca:: Boca Raton [etc.] : Chapman & Hall Book/CRC Press
Wydanie:: 5th ed
Rok wydania:: cop. 2009
Seria:: Discrete Mathematics and its Applications
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: First course in mathematical logic / Patrick Suppes, Shirley Hill
Wydawca:: New York ; Toronto ; London : Blaisdell Publishing Company
Rok wydania:: copyright © 1964
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Konstruktivnaâ matematičeskaâ logika s točki zreniâ klassičeskoj / P. S. Novikov
Wydawca:: Moskva : Izdatelʹstvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1977
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Matematičeskaâ logika i obŝaâ teoriâ algebraičeskih sistem / A. I. Malc'ev
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1976
Seria:: Izbrannye trudy / A. I. Mal'cev ; t. 2
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: Èlementy matematičeskoj logiki / A. A. Markov ; pod red. A. G. Dragalina
Wydawca:: Moskva : Izdatel'stvo Moskovskogo Universiteta
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: Aspects of mathematical logic : 3 ciclo, Varenna, 9-17 settembre 1968 / coord. E. Casari ; Centro Internazionale Matematico Estivo (C. I. M. E.)
Wydawca:: Roma : Edizioni Cremonese
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: A course in mathematical logic / by J. L. Bell and M. Machover
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1971
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Vvedenie v matematičeskuû logiku. [T.] 1 / A. Čërč ; per. s ang. V. S. Černâvskogo ; pod red. V. A. Uspenskogo
Wydawca:: Moskva : Izdatelʹstvo Inostrannoj Literatury
Rok wydania:: 1960
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Introduction to mathematical logic / Elliott Mendelson
Wydawca:: New York [etc.] : D. Van Nostrand Company
Wydanie:: 2nd ed
Rok wydania:: cop. 1979
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Mathematical logic / by Joseph R. Shoenfield
Wydawca:: Natick, Mass. : Association for Symbolic Logic : A K Peters
Rok wydania:: [2001]
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Matematičeskaâ logika i diskretnaâ matematika / V. G. Karpov, V. A. Moŝenskij
Wydawca:: Minsk : Vyšèjšaâ Škola
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: 6., Aufl
Rok wydania:: 1972
Seria:: Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen ; Bd. 27
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Grundzüge der theoretischen Logik / D. Hilbert und W. Ackermann
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: 5. Aufl
Rok wydania:: 1967
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 27
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Collected works. Vol. 1 / Stanisław Leśniewski ; ed. by Stanisław J. Surma, Jan T. Srzednicki and D. I. Barnett ; with an annotated bibliography by V. Frederick Rickey
Wydawca:: Dordrecht [etc.] : Kluwer Academic Publishers
Rok wydania:: cop. 1992
Seria:: Nijhoff International Philosophy Series, 0924-4530 ; vol. 44
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Propositional calculus / by P. H. Nidditch
Wydawca:: New York : The Free Press of Glencoe
Rok wydania:: 1962
Seria:: Monographs in Modern Logic
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

Tytuł pełny:: Comprendre la logique moderne. T. 1, Classes, propositions et prédicats / François Chenique
Wydawca:: Paris : Dunod
Rok wydania:: 1974
Seria:: Série Logique et Informatique ; 9
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Comprendre la logique moderne. T. 2, Logiques non classiques, relations et structures / François Chenique
Wydawca:: Paris : Dunod
Rok wydania:: 1974
Seria:: Série Logique et Informatique ; 10
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Intuitionism : an introduction / A. Heyting
Wydawca:: Amsterdam : North-Holland Publishing Company
Wydanie:: 2nd rev. ed
Rok wydania:: 1966
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Course of mathematical logic. Vol. 2, Model theory / Roland Fraïssé ; [transl. ed. by David Louvish]
Wydawca:: Dordrecht ; Boston : D. Reidel Publishing Company
Rok wydania:: cop. 1974
Seria:: Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences ; vol. 69
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: The foundations of mathematics / Ian Stewart and David Tall
Wydawca:: Oxford ; New York : Oxford University Press
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: A mathematical introduction to logic / Herbert B. Enderton
Wydawca:: New York ; London : Academic Press
Rok wydania:: 1972
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Symbolic logic / Irving M. Copi
Wydawca:: New York : The Macmillan Company ; London : Collier Macmillan Publishers
Wydanie:: 5th ed
Rok wydania:: cop. 1979
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Issledovanie logičeskih sistem / [otv. red. P. V. Tavanec]
Wydawca:: Moskva : Izdatel'stvo Nauka
Rok wydania:: 1970
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Cours de logique mathématique. T. 3, Récursivité et constructibilité / Roland Fraïssé
Wydawca:: Paris [etc.] : Gauthier-Villars Éditeur
Rok wydania:: cop. 1975
Seria:: Collection de Logique Mathématique. Serie A ; n° 25
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Matematičeskaâ logika / R. L. Gudstejn ; perev. s angl. V. S. Černâvskogo ; pod red. S. A. Ânovskoj
Wydawca:: Moskva : Izd. Inostrannoj Literatury
Rok wydania:: 1961
Seria:: Biblioteka Sbornika "Matematika"
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Vvedenie v matematčeskuû logiku / È. Mendel'son ; per. s angl. F. A. Kabakova ; pod red. S. I. Adâna
Wydawca:: Moskva : Nauka
Wydanie:: Izd. 2-e, ispravlennoe
Rok wydania:: 1976
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Précis de logique mathématique / par I. M. Bocheński O.P
Wydawca:: Bussum F. G. Kroonder
Rok wydania:: dr. 1948
Seria:: Collection Synthese ; 2
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Matematičeskaâ logika / Û. L. Eršov, E. A. Palûtin
Wydawca:: Moskva : "Nauka"
Wydanie:: Izd. 2, ispr. i dop
Rok wydania:: 1987
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Matematičeskaâ teoriâ logičeskogo vyvoda / sbornik perev. pod red. A. V. Idel'sona i G. E. Minca
Wydawca:: Moskva : Izdatel'stvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1967
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: An outline of the logical theory of questions / Tadeusz Kubiński
Wydawca:: Berlin : Akademie-Verlag
Rok wydania:: 1980
Temat:: Pytanie (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Term logic with choice operator / Hans Hermes
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: [1st Engl. ed. rev. and enl. from 1st Germ. ed. publ. 1965]
Rok wydania:: 1970
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 6
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Course of mathematical logic. Vol. 1, Relation and logical formula / Roland Fraïssé ; [transl. ed. by David Louvish]
Wydawca:: Dordrecht ; Boston : D. Reidel Publishing Company
Wydanie:: 2nd print
Rok wydania:: cop. 1974
Seria:: Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Èlementy matematičeskoj logiki / P. S. Novikov
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Wydanie:: Izd. 2., ispravl
Rok wydania:: 1973
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Introduction to logic / by Patrick Suppes
Wydawca:: Princeton, New Jersey [etc.] : D. van Nostrand Company, Inc
Wydanie:: 4th print
Rok wydania:: 1960
Seria:: University Series in Undergraduate Mathematics
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

Tytuł pełny:: Formirovanie matematičeskoj logiki / N. I. Stâžkin ; Akademiâ nauk SSSR
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Rok wydania:: 1967
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 95.

Tytuł pełny:: Advanced logic for applications / Richard E. Grandy
Wydawca:: Dordrecht ; Boston : Reidel Publishing Company
Rok wydania:: cop. 1977
Seria:: Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences ; vol. 110
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: Lectures on linear logic / A.S. Troelstra
Wydawca:: Stanford : Center for the Study of Language and Information
Rok wydania:: cop. 1992
Seria:: CSLI Lecture Notes ; No. 29
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: A manual of intensional logic / Johan van Benthem
Wydawca:: Stanford : Center for the Study of Language and Information
Wydanie:: 2 ed. rev. and expanded
Rok wydania:: 1988
Seria:: CSLI Lecture Notes ; no. 1
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Multiple forcing / T. Jech
Wydawca:: Cambridge : Cambridge University
Rok wydania:: 1999
Seria:: Cambridge Tracts in Mathematics ; 88
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Definitions : the primitive concept of logics or the Leśniewski-Tarski legacy / E.G.K. Lopez-Escobar and Francisco Miraglia
Wydawca:: Warszawa : IM. PAN
Rok wydania:: 2002
Seria:: Dissertationes Mathematicae , 0012-3862 ; 401
Dissertationes Mathematicae ; 401
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 100.

Tytuł pełny:: Elementy logiki matematycznej / Aleksander Rutkowski
Wydawca:: Warszawa : Wydawnictwa Szkolne i Pedagogiczne
Wydanie:: Wydanie I
Rok wydania:: 1978
Seria:: Biblioteczka Matematyczna ; 35
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika" wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu