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

Skocz do pozycji 1.

Tytuł pełny:: Elementy logiki matematycznej w przykładach i zadaniach / Jerzy Grochulski, Michał Matałycki ; Politechnika Częstochowska. Wydział Inżynierii Mechanicznej i Informatyki
Wydawca:: Częstochowa : Wydaw. PC
Rok wydania:: 2003
Seria:: Skrypty Politechniki Częstochowskiej, 1234-9909 ; 43
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Kraków : Universitas
Rok wydania:: 1996
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Logika - informatyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Matematičeskaâ logika : trudy konferencii po Matematičeskoj Logike, posvâŝennoj pamâti A. A. Markova (1903-1979), Sofiâ, 22-23 sentâbrâ 1980 r. = Mathematical logic / [red. D. Skordev et al.] ; Bolgarskaâ Akademiâ Nauk. Edinyj Centr Matematiki i Mehaniki
Wydawca:: Sofiâ : Izd. Bolgarskoj Akademii Nauk
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

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

Tytuł pełny:: Cambridge Summer School in Mathematical Logic held in Cambridge/England, August 1-21, 1971 / ed. by A. R. D. Mathias, H. Rogers
Wydawca:: Berlin ; New York : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 337
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ed. by G. H. Müller, G. Takeuti and T. Tugué
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1981
Seria:: Lecture Notes in Mathematics ; 891
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T. A. Slaman, T. Tugué (eds.)
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: cop. 1989
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 1388
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / ed. by A. S. Kechris and Y. N. Moschovakis
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1978
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 689
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Conference in Mathematical Logic - London '70 / ed. by Wilfrid Hodges
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1972
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 255
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U. K., July 1984 / ed. J. B. Paris, A. J. Wilkie, G. M. Wilmers
Wydawca:: Amsterdam [etc.] : Elsevier Science Publishers
Rok wydania:: 1986
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 120
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Logic Colloquium : symposium on Logic Held at Boston, 1972-73 / ed. by R. Parikh
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics ; 453
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: The collected papers of Gerhard Gentzen / M. E. Szabo
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1969
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Proceedings of the second Scandinavian Logic Symposium / ed. by J. E. Fenstad
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: cop. 1971
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 63
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / ed. by R. O. Gandy, J. M. E. Hyland
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: 1977
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 87
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / ed. by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: cop. 1980
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 99
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: 1982
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 107
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Studies in the history of mathematical logic / 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 PAN
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Rozwój symboliki logicznej / Roman Murawski
Wydawca:: Poznań : Wydawnictwo Naukowe UAM
Rok wydania:: 1988
Seria:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 8
Temat:: Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / ed. by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen
Wydawca:: Dordacht : D. Reidel Publishing
Rok wydania:: cop. 1979
Seria:: Synthese Library ; vol. 122
Temat:: Logika symboliczna i matematyczna - konferencje.

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 ; London : North-Holland Publishing Company
Wydanie:: 2nd ed
Rok wydania:: 1971
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:: Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / ed. by H. Arnold Schmidt, K. Schütte, H.-J. Thielle
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1968
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 22.

Tytuł pełny:: Logic Colloquium '73 : proceedings of the logic colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson
Wydawca:: Amsterdam ; Oxford : North-Holland ; New York : American Elsevier Publishing Company
Rok wydania:: 1975
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 80
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Svobodnye algebry neklassičeskih logik / R. Š. Grigoliá ; Akademiá Nauk Gruzinskoj SSR. Institut Kibernetiki
Wydawca:: Tbilisi : "Mecniereba"
Rok wydania:: 1987
Temat:: Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

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

Tytuł pełny:: The Review of Symbolic Logic / Association for Symbolic Logic
Wydawca:: Cambridge : Cambridge University Press
Rok wydania:: 2008-
Temat:: Logika symboliczna i matematyczna - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Mathematical logic / George Tourlakis
Wydawca:: Hoboken : A John Wiley & Sons
Rok wydania:: cop. 2008
Temat:: Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

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

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

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

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

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

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydaw. Naukowe WSP
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydawnictwo Naukowe WSP
Wydanie:: Wyd. 2, popr
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Osnovaniâ matematičeskoj logiki / Haskell B. Karri ; per. s angl. V. V. Dončenko ; pod red. Û. A. Gasteva
Wydawca:: Moskva : Izdatel'stvo Mir
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Logika matematyczna / Marian Panczakiewicz ; Uniwersytet Śląski w Katowicach
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1970
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Introduction to mathematical logic : set theory computable functions model theory / Jerome Malitz
Wydawca:: New York [etc.] : Springer-Verlag
Rok wydania:: cop. 1979
Seria:: Undergraduate Texts in Mathematics
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

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

Tytuł pełny:: Logika matematyczna / Zofia Adamowicz, Paweł Zbierski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

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

Książka

na półce

Szczegóły

Skocz do pozycji 40.

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

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

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie trzecie poprawione
Rok wydania:: 1973
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 43.

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk : [translated Olgierd Wojtasiewicz and Wacław Zawadowski]
Wydawca:: Dordrecht : D. Reidel Publishing Company ; Warszawa : PWN-Polish Scientific Publishers
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

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

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 5
Rok wydania:: 1981
Seria:: Biblioteka Matematyczna t. 20
Temat:: Logika symboliczna i matematyczna - 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
Wydanie:: Wyd. 2 zm. i uzup
Rok wydania:: 1969
Seria:: Biblioteka Matematyczna ; t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

Tytuł pełny:: Logika ogólna : wybrane zagadnienia / Kazimiera Dyrda
Wydawca:: Kielce : Instytut Matematyki AŚ : Wydawnictwo Gens
Wydanie:: Wydanie drugie rozszerzone
Rok wydania:: 2001
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Logika dla inżynierów / A. W. Mostowski i Z. Pawlak
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: BNI Biblioteka Naukowa Inżyniera
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

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