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

Skocz do pozycji 1.

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

Tytuł pełny:: Calcolo geometrico : secondo l'Ausdehungslehre di H. Grassmann preceduto dalle operazioni della logica deduttiva / per Giuseppe Peano
Wydawca:: Torino : Fratelli Bocca Editori
Rok wydania:: 1888
Seria:: Biblioteca Matematica ; 3
Temat:: Logika symboliczna i matematyczna.
Geometria algebraiczna.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

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

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

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

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

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

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

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

Tytuł pełny:: Logische Syntax der Sprache / von Rudolf Carnap
Wydawca:: Wien : Verlag von Julius Springer
Rok wydania:: cop. 1934
Seria:: Schriften zur Wissenschaftlichen Weltauffassung ; Bd. 8
Temat:: Gramatyka porównawcza i ogólna.
Neopozytywizm.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

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

Tytuł pełny:: The Journal of Symbolic Logic
Wydawca:: Pasadena : Association for Symbolic Logic
Rok wydania:: 1936-
Temat:: Logika symboliczna i matematyczna - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: O logice matematycznej i metodzie dedukcyjnej / Alfred Tarski
Wydawca:: Lwów ; Warszawa : Książnica Atlas
Rok wydania:: [ca 1937]
Seria:: Biblioteczka Matematyczna ; 3-4-5
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).
Matematyka - metodologia.
Podstawy arytmetyki.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

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

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

Tytuł pełny:: Logika matematyczna : kurs uniwersytecki / Andrzej Mostowski
Wydawca:: Warszawa ; Wrocław : [s.n.], (Wrocław : Druk. Uniwersytetu i Politechniki we Wrocławiu)
Rok wydania:: 1948
Seria:: Monografie Matematyczne ; t. 18
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Logic for mathematicians / J. Barkley Rosser
Wydawca:: New York [etc.] : McGraw-Hill Book Company
Rok wydania:: cop. 1953
Seria:: International Series in Pure and Applied Mathematics
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Rok wydania:: 1954
Seria:: Les structures fondamentales de l'analyse / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Solvable cases of the decision problem / by W. Ackermann
Wydawca:: Amsterdam : North-Holland Publishing Co
Rok wydania:: 1954
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna.
Podejmowanie decyzji - matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Mathematical interpretation of formal systems / Th. Skolem [et al.]
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1955
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Logika matematyczna / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Wydawca:: Łódź ; Kraków : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1955
Seria:: Skrypty dla Szkół Wyższych / Wyższa Szkoła Pedagogiczna w Krakowie
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

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

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

Tytuł pełny:: Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; transl. by J. H. Woodger
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1956
Temat:: Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: La structure algébrique des théories mathématiques / par L. Henkin
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1956
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février, 0530-7554 ; Nº 11
Temat:: Algebra abstrakcyjna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Complete theories / Abraham Robinson
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: cop. 1956
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Algebra abstrakcyjna.
Matematyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

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

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

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

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

Tytuł pełny:: Elementy logiki matematycznej / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Wydawca:: Kraków : Wyższa Szkoła Pedagogiczna
Wydanie:: Wyd. 2
Rok wydania:: 1958
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

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

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

Tytuł pełny:: Logique mathématique appliquée / par H. Freudenthal
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1958
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; N° 14
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Introduction to symbolic logic and its applications / by Rudolf Carnap ; transl. by William H. Meyer and John Wilkinson
Wydawca:: New York : Dover Publications, Inc
Rok wydania:: cop. 1958
Temat:: Logika symboliczna i matematyczna.
Logika
Logika matematyczna
Gatunek / Forma:: Książki
Publikacje naukowe

Książka

na półce

Szczegóły

Skocz do pozycji 36.

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

Tytuł pełny:: Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: 4. Aufl
Rok wydania:: 1959
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 38.

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

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

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Wydanie:: 2ème éd
Rok wydania:: 1960
Seria:: [Les structures fondamentales de l'analyse] / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

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

Tytuł pełny:: Notre Dame Journal of Formal Logic / ed. by Bolesław Sobociński
Wydawca:: Notre Dame, Ind. : University of Notre Dame Press
Rok wydania:: 1960-
Temat:: Logika symboliczna i matematyczna - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 43.

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

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

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

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński
Wydawca:: Wrocław : Zakład Narodowy im. Ossolińskich - Wydawnictwo
Wydanie:: Wyd. 2, przejrz
Rok wydania:: 1961
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria poznania - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

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

Książka

na półce

Szczegóły

Skocz do pozycji 48.

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

Tytuł pełny:: An introduction to the elements of mathematics / John N. Fujii
Wydawca:: New York ; London : John Wiley & Sons
Wydanie:: 2nd print
Rok wydania:: 1962
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.
Algebra.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

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

Tytuł pełny:: On invariant, dual invariant and absolute formulas / A. Mostowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1962
Seria:: Rozprawy Matematyczne ; 29
Temat:: Logika symboliczna i matematyczna.
Teoria typów (logika matematyczna).

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Truth-functional logic / by J.A. Faris
Wydawca:: New York : The Free Press of Glencoe
Rok wydania:: cop. 1962
Seria:: Monographs in Modern Logic
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Topics in engineering logic / by Morton Nadler
Wydawca:: Oxford [etc.] : Pergamon Press
Rok wydania:: 1962
Temat:: Logika symboliczna i matematyczna.
Komputery - projektowanie i konstrukcja.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

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

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

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

Tytuł pełny:: The mathematics of metamathematics / Helena Rasiowa and Roman Sikorski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1963
Seria:: Monografie Matematyczne ; t. 41
Temat:: Logika symboliczna i matematyczna.
Metamatematyka.
Algebra abstrakcyjna.
Algebry topologiczne.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1963
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

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

Tytuł pełny:: An introduction to transformational grammars / Emmon Bach
Wydawca:: New York [etc.] : Holt, Rinehart and Winston
Rok wydania:: cop. 1964
Temat:: Gramatyka generatywna.
Gramatyka porównawcza i ogólna.
Logika symboliczna i matematyczna.
Lingwistyka matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: A generalization of a formalized theory of fields of sets on non-classical logics / H. Rasiowa ; Instytut Matematyczny Polskiej Akademii Nauk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1964
Seria:: Rozprawy Matematyczne ; 42
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Languages with expressions of infinite length / Carol R. Karp
Wydawca:: Amsterdam : North-Holland Pub. Co
Rok wydania:: 1964
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

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

Tytuł pełny:: Jedynkowe systemy aksjomatyczne / Leon Gumański
Wydawca:: Toruń : TNT Łódź : Państwowe Wydaw. Naukowe
Rok wydania:: 1964
Seria:: Prace Wydziału Filologiczno-Filozoficznego / Towarzystwo Naukowe w Toruniu ; t. 15, z. 1
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

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

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

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

Tytuł pełny:: Formal systems and recursive functions : proceedings of the Eighth Logic Collquium Oxford, July 1963 / ed. by J. N. Crossley and M. A. E. Dummett
Wydawca:: Amsterdam : Nort-Holland Publishing Company
Rok wydania:: 1965
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna - konferencje.
Funkcje rekursywne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

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

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

Tytuł pełny:: Èlementarnoe vvedenie v matematiičeskuû logiku : posobie dlâ učitelej / A. A. Stolâr
Wydawca:: Moskva : Izd-vo Prosveŝenie
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Wykłady z logiki formalnej. Cz. 1, Wstęp do zagadnień logiki, elementy teorii mnogości / Roman Suszko
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / par Jean Porte
Wydawca:: Paris [etc.] : Gauthier-Villars Éditeur ; Louvain : E. Nauwelaerts
Rok wydania:: 1965
Seria:: Collection de Logique Mathématique. Serie A ; n° 18
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

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

Tytuł pełny:: Einführung in die Sprache der Logik / Hans Freudenthal
Wydawca:: München ; Wien : R. Oldenbourg
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Über das Erkennen logisch äquivalenter Ausdrucksweisen durch Schüler im Mathematikunterricht / Hans Bock, Werner Walsch
Wydawca:: Halle (Saale) : Martin-Luther-Universität Halle-Wittenberg
Rok wydania:: 1966
Seria:: Wissenschaftliche Beiträge der Martin-Luther-Universität Halle-Wittenberg. Reihe E. Pädagogische Beiträge ; 2
Temat:: Logika symboliczna i matematyczna.
Matematyka - studia i nauczanie.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

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

Tytuł pełny:: Algebra i matematičeskaâ logika : algebraičeskie issledovaniâ : mežvedomstvennyj sbornik / [redkol. L. A. Kalužnin (otv. red.) et al.]
Wydawca:: Kiev : Izdatel'stvo Kievskogo Universiteta
Rok wydania:: 1966
Temat:: Algebra.
Logika symboliczna i matematyczna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

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

Tytuł pełny:: Non-standard analysis / Abraham Robinson
Wydawca:: Amsterdam : North-Holland
Rok wydania:: 1966
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Analiza matematyczna niestandardowa.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1966
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: A deductive theory of space and time / Saul A. Basri
Wydawca:: Amsterdam : North-Holland
Rok wydania:: 1966
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Przestrzeń i czas.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Wstęp do logiki matematycznej i teorii mnogości / Helena Rasiowa ; Instytut Matematyczny Polskiej Akademii Nauk
Wydawca:: Wrocław : Zakład Narodowy im. Ossolińskich
Rok wydania:: 1966
Seria:: Biblioteka Kursów Zastosowań Matematyki ; 8
Temat:: Logika symboliczna i matematyczna - podręczniki.
Teoria zbiorów - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Geometričeskie priloženiâ algebry logiki / V. L. Rvačev
Wydawca:: Kiev : Tehnika
Rok wydania:: 1967
Temat:: Geometria analityczna.
Algebra.
Analiza matematyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

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

Tytuł pełny:: Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, august-september 1965 / ed. by John N. Crossley
Wydawca:: Amsterdam : Nort-Holland Publishing Company
Rok wydania:: 1967
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Teoria zbiorów - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

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

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

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

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

Tytuł pełny:: Mathematical logic / Joseph R. Shoenfield
Wydawca:: Reading : Addison-Wesley Publishing Company
Rok wydania:: cop. 1967
Seria:: Addison-Wesley Series in Logic
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Porogovaâ logika / M. Dertouzos ; perevod s anglijskogo B. L. Ovsieviča i L. Â. Rozenblûma ; pod redakciej V. I. Varšavskogo
Wydawca:: Moskva : Izdatelʹstvo "Mir"
Rok wydania:: 1967
Temat:: Teoria komutacji.
Logika symboliczna i matematyczna.
Komputery - układy.
Logika progowa.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms / Ronald Björn Jensen ; Ausgearb. von Franz Josef Leven
Wydawca:: Berlin [etc.] : Springer
Rok wydania:: 1967
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 37
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

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

Tytuł pełny:: Elements of mathematical logic : model theory / G. Kreisel, J. L.Krivine
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1967
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: An introduction to modern mathematics / Albert Monjallon ; translated by Peter Fantham
Wydawca:: Edinburgh ; London : Oliver & Boyd
Rok wydania:: cop. 1967
Seria:: University Mathematical Texts ; 34
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Grupy abelowe.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: Cours de logique mathématique. T. 1, Relation, formule logique, compacité, complétude / par Roland Fraïssé
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1967
Seria:: Collection de Logique Mathématique. Serie A ; 23
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Algebraic methods of mathematical logic / Ladislav Rieger ; scientific ed. Miroslav Katětov ; transl. by Michal Basch ; Czechoslovak Academy of Sciences
Wydawca:: Prague : Academia
Rok wydania:: 1967
Temat:: Logika symboliczna i matematyczna.
Algebra Boole'a.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / ed. by M.H. Löb
Wydawca:: Berlin [etc.] : Springer
Rok wydania:: 1968
Seria:: Lecture Notes in Mathematics ; 70
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 100.

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

Informacja

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

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu