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

Skocz do pozycji 1.

Tytuł pełny:: Logičeskaâ istina i èmpirizm / V. V. Celiŝev ; otvetstvennyj redaktor M. V. Popovič ; Akademiâ nauk SSSR. Sibirskoe otdelenie. Institut istorii, filologii i filosofii
Wydawca:: Novosibirsk : "Nauka"
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Logik, Mathesis universalis und allgemeine Wissenschaft : Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert / Volker Peckhaus
Wydawca:: Berlin : Akademie Verlag
Rok wydania:: cop. 1997
Seria:: Logica Nova, 0323-5157
Temat:: Leibniz, Gottfried Wilhelm (1646-1716) - logika.
Logika symboliczna i matematyczna - filozofia.
Metafizyka.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: The Oxford handbook of philosophy of mathematics and logic / ed. by Stewart Shapiro
Wydawca:: Oxford ; New York : Oxford University Press
Rok wydania:: 2005
Seria:: Oxford Handbooks in Philosophy
Temat:: Logika symboliczna i matematyczna - filozofia.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Podstawy teorii części / Andrzej Pietruszczak
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2013
Temat:: Całość i część (filozofia).
Logika symboliczna i matematyczna - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Defending the axioms : on the philosophical foundations of set theory / Penelope Maddy
Wydawca:: Oxford : Oxford University Press
Rok wydania:: 2011
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Aksjomatyczna teoria zbiorów - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Introduction to the foundations of mathematics / Raymond L. Wilder
Wydawca:: New York : John Wiley & Sons, Inc. ; London : Chapman & Hall, Ltd
Wydanie:: 3rd print
Rok wydania:: [1958?]
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell
Wydawca:: Cambridge : The University Press
Rok wydania:: 1962
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Foundations of logic 1903-05 / Bertrand Russell ; Edited by Alasdair Urquhart with the assistance of Albert C. Lewis
Wydawca:: London ; New York : Routledge
Rok wydania:: 1994
Seria:: The Collected Papers of Bertrand Russell ; vol. 4
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Mathematik und plausibles Schliessen. Bd. 1, Induktion und Analogie in der Mathematik / Georg Pólya ; ins Deutsche übersetzt von Lulu Bechtolsheim
Wydawca:: Basel ; Stuttgart : Birkhäuser
Rok wydania:: cop. 1962
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Matematika i pravdopodobnye rassuždeniâ / D. Poja ; per. s angl. I. A. Vajnštejna ; pod red. S. A. Ânovskoj
Wydawca:: Moskva : "Nauka"
Wydanie:: Izd. 2, ispr
Rok wydania:: 1975
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Introduction to the foundations of mathematics / Raymond L. Wilder
Wydawca:: New York : John Wiley & Sons, Inc. ; London : Chapman & Hall, Lim
Wydanie:: 2nd print
Rok wydania:: 1956
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; ed. by John Worrall and Elie Zahar
Wydawca:: Cambridge [etc.] : Cambridge University Press
Rok wydania:: 1976
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Matematičeskaâ logika / S. K. Klini ; perevod s angl. Û. A. Gasteva ; pod red. G. E. Minca
Wydawca:: Moskva : Izdat. "Mir"
Rok wydania:: 1973
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Mathematical logic / Stephen Cole Kleene
Wydawca:: New York : John Wiley & Sons, Inc
Rok wydania:: cop. 1967
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Mathematical logic and the foundations of mathematics : an introductory survey / G. T. Kneebone
Wydawca:: London [etc.] : D. Van Nostrand Company Limited
Rok wydania:: cop. 1963
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Gödel / ed. by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russel
Wydawca:: Cambridge: Cambridge University Press
Wydanie:: Repr
Rok wydania:: 1967
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: The nature of mathematics : a critical survey / by Max Black
Wydawca:: Totowa : Littlefield, Adams
Rok wydania:: 1965
Seria:: International Library of Psychology, Philosophy and Scientific Method
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Logika języka nauki i jego pogranicze : język matematyki a język fizyki / Ryszard Krasnodębski ; przedmową opatrzył Jacek Otlewski
Wydawca:: Wrocław : Wydawnictwo Uniwersytetu Ekonomicznego
Rok wydania:: 2016
Temat:: Logika symboliczna i matematyczna.
Matematyka - język.
Fizyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Einführung in die mathematische Logik / Alfred Tarski ; übers. von Erhard Scheibe
Wydawca:: Göttingen : Vandenhoeck & Ruprecht
Wydanie:: 3. Aufl
Rok wydania:: 1969
Seria:: Moderne Mathematik in elementarer Darstellung ; 5
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay S. J
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Wydanie:: 2e éd. rev. et augm
Rok wydania:: 1969
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Introduction à la logique / par Alfred Tarski ; traduit de l'anglais par J. Tremblay
Wydawca:: Paris : Gauthier-Villars
Wydanie:: 3e édition revue
Rok wydania:: 1971
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; n°. 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Dowody i refutacje : logika odkrycia matematycznego / Imre Lakatos ; tł. Michał Kozłowski i Katarzyna Lipszyc ; wstęp do wyd. polskiego Wacław Zawadowski ; dod. do wyd. polskiego Jan Baranowski
Wydawca:: Warszawa : TIKKUN
Rok wydania:: 2005
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Osnovaniâ matematiki : logičeskie isčisleniâ i formalizaciâ arifmetiki / D. Gil'bert, P. Bernajs ; per. s nem. N. M. Nagornogo ; pod red. S. I. Adâna
Wydawca:: Moskva : "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1979
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Logic in elementary mathematics / Robert M. Exner, Myron F. Rosskopf
Wydawca:: New York [etc.] : McGraw-Hill Book Company
Rok wydania:: 1959
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Éléments de mathématiques modernes / par M. Richardson
Wydawca:: Paris : Dunod
Wydanie:: 2 éd. rev. et augm
Rok wydania:: 1968
Seria:: Collection Sigma ; 4
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Fundamentals of mathematics / M. Richardson
Wydawca:: New York : The Macmillan Company
Wydanie:: Rev. ed
Rok wydania:: cop. 1958
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Grundlagen der Mathematik. Bd. 1 / von D. Hilbert und P. Bernays
Wydawca:: Berlin : Julius Springer
Rok wydania:: 1934
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 40
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with an introd. by Bertrand Russell
Wydawca:: London : Kegan Paul, Trench, Trubner ; New York : Harcourt, Brace
Wydanie:: Repr
Rok wydania:: 1933
Seria:: International Library of Psychology, Philosophy and Scientific Method
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: Wort und Gegenstand = (Word and object) / Willard Van Orman Quine ; aus dem englischen übersetz von Joachim Schulte ; in Zusammenarbeit mit Dieter Birnbacher
Wydawca:: Stuttgart : Philipp Reclam jun
Rok wydania:: cop. 1980
Seria:: Universal-Bibliothek Nr. 9987 [6]
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył Bogusław Wolniewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: Biblioteka Klasyków Filozofii
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Le mot et la chose / Willard Van Orman Quine ; trad. de l'américain par Joseph Dopp et Paul Gauchet ; avant-propos de Paul Gauchet
Wydawca:: Paris : Flammarion
Rok wydania:: dr. 1978
Seria:: Nouvelle Bibliothèque Scientifique
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge (MA) : The M.I.T. Press
Wydanie:: 2nd print
Rok wydania:: 1964
Seria:: Studies in Communication
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge, MA : The M.I.T. Press
Wydanie:: 9th printing
Rok wydania:: 1975
Seria:: The MIT Press Paperback Series ; 4
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Penser les mathématiques : séminaire de philosophie et mathématiques de l'École normale supérieure / R. Apéry [et al.] ; [sous la direction de] J. Dieudonné [et al.] ; textes préparés et annotés par François Guénard et Gilbert Lelièvre
Wydawca:: Paris : Éditions du Seuil
Rok wydania:: 1982
Seria:: Points. Sciences ; 29
Temat:: Matematyka - filozofia - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Myślini czyli Całokształt loiki narodowej. T. 2 / przez Bronisława Ferdynanda Trentowskiego
Wydawca:: Poznań : nakładem autora u N. Kamieńskiego i Spółki
Rok wydania:: 1844
Temat:: Filozofia - Polska - 19 w.
Nauka - filozofia - 19 w.
Teoria poznania - 19 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Philosophische Bemerkungen / Ludwig Wittgenstein ; aus dem Nachlaß herausgegeben von Rush Rhees
Wydawca:: Frankfurt am Main : Suhrkamp
Wydanie:: 3. Auflage
Rok wydania:: 1989
Seria:: Suhrkamp Taschenbuch Wissenschaft ; 502
Werkausgabe / Ludwig Wittgenstein ; Bd. 2
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: The Big Typescript TS 213 : (fragmenty) / Ludwig Wittgenstein ; wybór, przekład, wstęp Piotr Dehnel
Wydawca:: Wrocław : Wydawnictwo Naukowe Dolnośląskiej Szkoły Wyższej
Rok wydania:: copyright © 2019
Seria:: Seria Wittgensteinowska
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Principes de logique et de philosophie mathématique / Octav Onicescu
Wydawca:: [Bucarest] : Éditions de l'Académie de la République Socialiste de Roumanie
Rok wydania:: 1971
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

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

Tytuł pełny:: Formal methods in the methodology of empiricial sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / ed. by Marian Przełęcki, Klemens Szaniawski and Ryszard Wójcicki ; assoc. ed. Grzegorz Malinowski
Wydawca:: Wrocław [etc.] : Ossolineum
Rok wydania:: 1976
Temat:: Nauka - metodologia - konferencje.
Nauka - filozofia - konferencje.
Logika symboliczna i matematyczna.
Matematyka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Nachgelassene Schriften / unter Mitwirkung von Gottfried Gabriel und Walburga Rödding bearbeitet, eingeleitet und mit Anmerkungen versehen von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach
Wydawca:: Hamburg : Felix Meiner Verlag
Rok wydania:: [2017]
Seria:: Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; Bd. 1
Temat:: Matematyka - filozofia.
Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Wissenschaflicher Briefwechsel / Gottlob Frege ; Herausgegeben, bearbeitet, eingeleitet und mit Anmerkungen versehen von Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart
Wydawca:: Hamburg : Felix Meiner Verlag
Rok wydania:: [2013]
Seria:: Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; Bd. 2
Temat:: Matematyka - filozofia.
Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Matematičeskaâ logika i ee primeneniâ : sbornik statej / pod red. È. Nagela, P. Sappsa i A. Tarskogo ; perev. s ang. pod red. A. I. Mal'ceva
Wydawca:: Moskva : Mir
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna - konferencje.
Nauka - filozofia - konferencje.
Metodologia - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Logic : methodology and philosophy of science VI : proceedings of the sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979 / edit. by L. J. Cohen [et al.]
Wydawca:: Warszawa : PWN-Polish Scientific Publishers ; Amsterdam : North Holland Publishing Company
Rok wydania:: 1982
Temat:: Logika symboliczna i matematyczna - konferencje.
Nauka - filozofia - konferencje.
Metodologia - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Collected works. Vol. 2 / 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 ; vol. 44
Temat:: Logika symboliczna i matematyczna.
Filozofia.
Logika.
Matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge ; London : The MIT Press
Rok wydania:: 1994
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5, 1 dodr
Rok wydania:: 2006
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5
Rok wydania:: 2004
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Logic, methodology and philosophy of science, III : proceedings of the third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967 / ed. by B. van Rootselaar and J. F. Staal
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1968
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:: Logika - konferencje.
Nauka - metodologia - konferencje.
Nauka - filozofia - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Die logischen Grundlagen der Wahrscheinlichkeitsrechnung / Jan Łukasiewicz
Wydawca:: Krakau : Akademie der Wissenchaften [etc.], (Kraków : Drukarnia Uniwersytetu Jagiellońskiego)
Rok wydania:: 1913
Temat:: Rachunek prawdopodobieństwa.
Logika symboliczna i matematyczna.
Rachunek prawdopodobieństwa - filozofia.
Filozofia logiki - 20 w.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975. P. 1, Logic, foundations of mathematics, and computability theory / ed. by Robert E. Butts and Jaakko Hintikka
Wydawca:: Dordrecht ; Boston : D. Reidel Publishing Company
Rok wydania:: cop. 1977
Seria:: The University of Western Ontario Series in Philosophy of Science ; vol. 9
Temat:: Logika symboliczna i matematyczna - konferencje.
Matematyka - filozofia - konferencje.
Funkcje obliczalne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Logic from A to Z / Michael Detlefsen, David Charles McCarty, John B. Bacon
Wydawca:: London ; New York : Routledge
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - encyklopedie.
Matematyka - filozofia - encyklopedie.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

Tytuł pełny:: Zeichen und Wert / Mihai Nadin
Wydawca:: Tübingen : Gunter Narr Verlag
Rok wydania:: 1981
Seria:: Kodikas, Code. Supplement, 0941-0139 ; 6
Temat:: Semiotyka.
Logika symboliczna i matematyczna.
Wartości (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Hilbertprogramm und Kritische Philosophie ; Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie / Volker Peckhaus
Wydawca:: Göttingen : Vandenhoeck & Ruprecht
Rok wydania:: cop. 1990
Seria:: Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik ; Bd. 7
Temat:: Hilbert, David (1862-1943).
Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Granice nauki : zarys logiki i metodologji nauk ścisłych / Leon Chwistek
Wydawca:: Lwów ; Warszawa : Książnica-Atlas, (Lwów : Zakłady Graficzne Ski Akc. Książnica-Atlas)
Rok wydania:: [1935]
Temat:: Nauka - metodologia.
Matematyka - filozofia.
Logika symboliczna i matematyczna.
Filozofia logiki.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Koncepcja przekonania w ujęciu semiotyczno-pragmatycznym : Charles S. Peirce (1839-1914) / Piotr Janik
Wydawca:: Kraków : Akademia Ignatianum : Wydawnictwo WAM
Rok wydania:: 2011
Seria:: U Universum Philosophiae
Temat:: Peirce, Charles Sanders (1839-1914) - krytyka i interpretacja.
Logika symboliczna i matematyczna.
Semiotyka - filozofia.
Pragmatyzm.
Przekonanie (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Dokazatel'stva i oproverženiâ : kak dokazyvaûtsâ teoremy / I. Lakatos ; perev. s anglijskogo I. N. Veselovskij ; Akademiâ Nauk SSSR
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Rok wydania:: 1967
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisław Augustynek
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1979
Temat:: Czas (filozofia).
Logika symboliczna i matematyczna.
Logika temporalna.
Przeszłość (filozofia).
Teraźniejszość (filozofia).
Przyszłość (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: Einführung in die symbolische Logik : mit besonderer Berücksichtigung ihrer Anwendungen / von Rudolf Carnap
Wydawca:: Wien : Springer-Verlag
Wydanie:: 2 neubearbeitete und erw. Aufl
Rok wydania:: 1960
Temat:: Logika symboliczna i matematyczna.
Logika
Logika matematyczna
Filozofia i etyka
Matematyka
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: A formal background to mathematics. 1a, Logic, sets and numbers / R. E. Edwards
Wydawca:: New York [etc.] : Springer-Verlag
Rok wydania:: cop. 1979
Seria:: Universitext
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: O pojęciu dowodu w matematyce / Krzysztof Wójtowicz ; Fundacja na Rzecz Nauki Polskiej
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2012
Seria:: Monografie FNP
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Dowód (filozofia).
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: Mathematics and its logics : philosophical essays / Geoffrey Hellman
Wydawca:: Cambridge : Cambridge University Press
Wydanie:: First paperback edition
Rok wydania:: 2022
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Gatunek / Forma:: Książki
Publikacje popularnonaukowe
Opracowanie

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: The Bulletin of Symbolic Logic / Association for Symbolic Logic
Wydawca:: Champaign, IL, : Association for Symbolic Logic
Rok wydania:: 1995-
Temat:: Logika symboliczna i matematyczna - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz
Wydawca:: [Warszawa] : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1977
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka.
Logika.
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Słowo i przedmiot / Willard Van Orman Quine ; przełozył Cezary Cieśliński
Wydawca:: Warszawa : Fundacja Aletheia
Temat:: Język i mowa.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski
Wydawca:: Amsterdam : North-Holland Publishing Company
Wydanie:: 2nd print
Rok wydania:: 1957
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Philosophische Grammatik / Ludwig Wittgenstein ; hrsg. von Rush Rhees
Wydawca:: Frankfurt am Main : Suhrkamp Verlag
Wydanie:: 4. Aufl
Rok wydania:: 1991
Seria:: Suhrkamp Taschenbuch Wissenschaft ; 504
Werkausgabe / Ludwig Wittgenstein ; Bd. 4
Temat:: Gramatyka porównawcza i ogólna.
Logika symboliczna i matematyczna.
Wnioskowanie.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Mój rozwój filozoficzny / Bertrand Russell ; przekł. Halina Krahelska i Czesław Znamierowski ; przedm. opatrzył Leon Koj
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1971
Seria:: Biblioteka Klasyków Filozofii
Temat:: Russell, Bertrand (1872-1970).
Russell, Bertrand (1872-1970) - krytyka i interpretacja.
Filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Introduction to mathematical philosophy / by Bertrand Russell
Wydawca:: London : George Allen and Unwin
Wydanie:: 9th impr
Rok wydania:: 1956
Seria:: Muirhead Library of Philosophy
Temat:: Russell, Bertrand (1872-1970).
Filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: The anagogic theory of Wittgenstein's "Tractatus" / by Roy Emanuel Lemoine
Wydawca:: The Hague ; Paris : Mouton
Rok wydania:: 1975
Seria:: Linua Linguarum : studia memoriae Nicolai van Wijk dedicata ; 214
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Twierdzenie Gödla i jego interpretacje filozoficzne : od mechanicyzmu do postmodernizmu / Stanisław Krajewski
Wydawca:: Warszawa : Wydaw. Instytutu Filozofii i Socjologii PAN
Rok wydania:: 2003
Seria:: Umysł : prace z filozofii i kognitywistyki
Temat:: Gödel, Kurt (1906-1978) - krytyka i interpretacja.
Gödel, Kurt (1906-1978) - filozofia.
Twierdzenie Gödla.
Logika symboliczna i matematyczna.
Matematyka - filozofia - 20 w.
Sztuczna inteligencja - filozofia.
Mechanicyzm (filozofia).
Postmodernizm.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Gottlob Frege i problemy filozofii współczesnej / Arkadiusz Gut ; [Katolicki Uniwersytet Lubelski. Wydział Filozofii]
Wydawca:: Lublin : Wydawnictwo KUL
Rok wydania:: 2005
Temat:: Frege, Gottlob (1848-1925) - krytyka i interpretacja.
Frege, Gottlob (1848-1925).
Logika symboliczna i matematyczna.
Filozofia - 20 w.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: A formal background to mathematics. 1b, Logic, sets and numbers / R. E. Edwards
Wydawca:: New York [etc.] : Springer-Verlag
Rok wydania:: cop. 1979
Seria:: Universitext
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Teoria liczb.
Arytmetyka.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

Tytuł pełny:: Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1985
Temat:: Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przeł.ożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 4
Rok wydania:: 2002
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1997
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2000
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / ed. by Juliette Kennedy, Roman Kossak
Wydawca:: Cambridge : Cambridge University Press : Association for Symbolic Logic
Rok wydania:: 2011
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Matematyka - filozofia.
Książki elektroniczne.

Dokument elektroniczny

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Język i poznanie. T. 2, Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1965
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Metafizyczne tezy "Traktatu logiczno-filozoficznego" Ludwiga Wittgensteina / Katarzyna Gurczyńska
Wydawca:: Lublin : Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Rok wydania:: 2000
Temat:: Wittgenstein, Ludwig (1889-1951) - krytyka i interpretacja.
Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Metafizyka - 20 w.
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

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

Tytuł pełny:: Egzystencjalizm logiczny : metafizyczne studium nad Traktatem logiczno-filozoficznym Wittgensteina / Wojciech Krysztofiak
Wydawca:: Warszawa : Semper
Rok wydania:: 2017
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Egzystencjalizm.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Finite sets and Gödel's incompleteness theorems / S. Świerczkowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : IM PAN
Rok wydania:: 2003
Seria:: Dissertationes Mathematicae, 0012-3862 ; 422
Temat:: Gödel, Kurt (1906-1978) - wkład do filozofii matematyki.
Logika symboliczna i matematyczna.
Twierdzenie Gödla.
Aksjomatyczna teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Język i poznanie. T. 2, Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1985
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - biografie.
Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Teoria poznania.
Filozofia języka.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Filozofia jako analiza języka nauki / Rudolf Carnap ; [tł. Andrzej Zabłudowski]
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1969
Temat:: Język i logika.
Semantyka (filozofia).
Neopozytywizm.
Logika symboliczna i matematyczna.
Nauka - język.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Gödel : życie i logika / John L. Casti, Werner DePauli ; tł. Piotr Amsterdamski
Wydawca:: Warszawa : "CiS"
Rok wydania:: 2003
Seria:: Nauka u Progu Trzeciego Tysiąclecia ; t. 24
Temat:: Gödel, Kurt (1906-1978) - filozofia.
Gödel, Kurt (1906-1978).
Logika symboliczna i matematyczna.
Matematyka - 20 w.
Sztuczna inteligencja.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Język i poznanie. [1], Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2006
Temat:: Poznanie - filozofia.
Filozofia języka.
Teoria poznania - 20 w.
Językoznawstwo kognitywne.
Teoria poznania.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Teoria nauk formalnych według Jana Łukasiewicza / Juliusz Wyznakiewicz
Wydawca:: Toruń : Adam Marszałek
Rok wydania:: 2001
Temat:: Łukasiewicz, Jan Leopold (1878-1956) - krytyka i interpretacja.
Łukasiewicz, Jan Leopold (1878-1956) - wkład do filozofii nauki.
Logika symboliczna i matematyczna - historia.
Matematyka - filozofia.
Filozofia logiki - 20 w.
Matematyka - filozofia - 20 w.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1960
Temat:: Logika symboliczna i matematyczna.
Teoria poznania - 20 w.
Filozofia języka - 20 w.
Poznanie - filozofia.
Filozofia - 20 w.
Teoria poznania.
Filozofia języka.
Nauka - metodologia.
Logika
Metodologia
Semantyka
Gatunek / Forma:: Książki
Publikacje naukowe
Antologia

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Język i poznanie. [2], Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2006
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Poznanie - filozofia.
Teoria poznania - 20 w.
Filozofia języka.
Językoznawstwo kognitywne.
Teoria poznania.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

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

Informacja

Wyszukujesz frazę "Logika symboliczna i matematyczna - filozofia." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu