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

Go to position 1.

Full title:: Elementy logiki matematycznej w przykładach i zadaniach / Jerzy Grochulski, Michał Matałycki ; Politechnika Częstochowska. Wydział Inżynierii Mechanicznej i Informatyki
Publisher:: Częstochowa : Wydaw. PC
Publication Year:: 2003
Publication series:: Skrypty Politechniki Częstochowskiej, 1234-9909 ; 43
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Book

in the bookshelf

Details

Go to position 2.

Full title:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Publisher:: Kraków : Universitas
Publication Year:: 1996
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Logika - informatyka - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 3.

Full title:: 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
Publisher:: Sofiâ : Izd. Bolgarskoj Akademii Nauk
Publication Year:: 1984
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 4.

Full title:: 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
Publisher:: Berlin [etc.] : Springer
Publication Year:: 1968
Publication series:: Lecture Notes in Mathematics ; 70
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 5.

Full title:: Cambridge Summer School in Mathematical Logic held in Cambridge/England, August 1-21, 1971 / ed. by A. R. D. Mathias, H. Rogers
Publisher:: Berlin ; New York : Springer-Verlag
Publication Year:: 1973
Publication series:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 337
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 6.

Full title:: 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é
Publisher:: Berlin [etc.] : Springer-Verlag
Publication Year:: 1981
Publication series:: Lecture Notes in Mathematics ; 891
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 7.

Full title:: Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T. A. Slaman, T. Tugué (eds.)
Publisher:: Berlin [etc.] : Springer-Verlag
Publication Year:: cop. 1989
Publication series:: Lecture Notes in Mathematics, 0075-8434 ; 1388
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 8.

Full title:: Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / ed. by A. S. Kechris and Y. N. Moschovakis
Publisher:: Berlin [etc.] : Springer-Verlag
Publication Year:: 1978
Publication series:: Lecture Notes in Mathematics, 0075-8434 ; 689
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 9.

Full title:: Conference in Mathematical Logic - London '70 / ed. by Wilfrid Hodges
Publisher:: Berlin [etc.] : Springer-Verlag
Publication Year:: 1972
Publication series:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 255
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 10.

Full title:: Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U. K., July 1984 / ed. J. B. Paris, A. J. Wilkie, G. M. Wilmers
Publisher:: Amsterdam [etc.] : Elsevier Science Publishers
Publication Year:: 1986
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 120
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 11.

Full title:: Logic Colloquium : symposium on Logic Held at Boston, 1972-73 / ed. by R. Parikh
Publisher:: Berlin [etc.] : Springer-Verlag
Publication Year:: 1975
Publication series:: Lecture Notes in Mathematics ; 453
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 12.

Full title:: The collected papers of Gerhard Gentzen / M. E. Szabo
Publisher:: Amsterdam ; London : North-Holland Publishing Company
Publication Year:: 1969
Publication series:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 13.

Full title:: Proceedings of the second Scandinavian Logic Symposium / ed. by J. E. Fenstad
Publisher:: Amsterdam ; London : North-Holland Publishing Company
Publication Year:: cop. 1971
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 63
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 14.

Full title:: Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / ed. by R. O. Gandy, J. M. E. Hyland
Publisher:: Amsterdam [etc.] : North-Holland Publishing Company
Publication Year:: 1977
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 87
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 15.

Full title:: 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
Publisher:: Amsterdam [etc.] : North-Holland Publishing Company
Publication Year:: cop. 1980
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 99
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 16.

Full title:: Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern
Publisher:: Amsterdam [etc.] : North-Holland Publishing Company
Publication Year:: 1982
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 107
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 17.

Full title:: Studies in the history of mathematical logic / ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Publisher:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo PAN
Publication Year:: 1973
Subject:: Logika symboliczna i matematyczna - historia.

Book

in the bookshelf

Details

Go to position 18.

Full title:: Rozwój symboliki logicznej / Roman Murawski
Publisher:: Poznań : Wydawnictwo Naukowe UAM
Publication Year:: 1988
Publication series:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 8
Subject:: Logika symboliczna i matematyczna - historia.

Book

in the bookshelf

Details

Go to position 19.

Full title:: 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
Publisher:: Dordacht : D. Reidel Publishing
Publication Year:: cop. 1979
Publication series:: Synthese Library ; vol. 122
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 20.

Full title:: Mathematical interpretation of formal systems / Th. Skolem [et al.]
Publisher:: Amsterdam ; London : North-Holland Publishing Company
Publication:: 2nd ed
Publication Year:: 1971
Publication series:: Studies in Logic and the Foundations of Mathematics
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 21.

Full title:: Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / ed. by H. Arnold Schmidt, K. Schütte, H.-J. Thielle
Publisher:: Amsterdam : North-Holland Publishing Company
Publication Year:: 1968
Publication series:: Studies in Logic and the Foundations of Mathematics
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 22.

Full title:: Logic Colloquium '73 : proceedings of the logic colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson
Publisher:: Amsterdam ; Oxford : North-Holland ; New York : American Elsevier Publishing Company
Publication Year:: 1975
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 80
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 23.

Full title:: Svobodnye algebry neklassičeskih logik / R. Š. Grigoliá ; Akademiá Nauk Gruzinskoj SSR. Institut Kibernetiki
Publisher:: Tbilisi : "Mecniereba"
Publication Year:: 1987
Subject:: Logika symboliczna i matematyczna - historia.

Book

in the bookshelf

Details

Go to position 24.

Full title:: Mathematical interpretation of formal systems / Th. Skolem [et al.]
Publisher:: Amsterdam : North-Holland Publishing Company
Publication Year:: 1955
Publication series:: Studies in Logic and the Foundations of Mathematics
Subject:: Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 25.

Full title:: The Review of Symbolic Logic / Association for Symbolic Logic
Publisher:: Cambridge : Cambridge University Press
Publication Year:: 2008-
Subject:: Logika symboliczna i matematyczna - czasopisma.

Periodical or newspaper

in the bookshelf

Details

Go to position 26.

Full title:: Mathematical logic / George Tourlakis
Publisher:: Hoboken : A John Wiley & Sons
Publication Year:: cop. 2008
Subject:: Logika symboliczna i matematyczna - podręczniki.

Book

in the bookshelf

Details

Go to position 27.

Full title:: Èlementarnoe vvedenie v matematiičeskuû logiku : posobie dlâ učitelej / A. A. Stolâr
Publisher:: Moskva : Izd-vo Prosveŝenie
Publication Year:: 1965
Subject:: Logika symboliczna i matematyczna - podręczniki.

Book

in the bookshelf

Details

Go to position 28.

Full title:: Logičeskaâ istina i èmpirizm / V. V. Celiŝev ; otvetstvennyj redaktor M. V. Popovič ; Akademiâ nauk SSSR. Sibirskoe otdelenie. Institut istorii, filologii i filosofii
Publisher:: Novosibirsk : "Nauka"
Publication Year:: 1974
Subject:: Logika symboliczna i matematyczna - filozofia.

Book

in the bookshelf

Details

Go to position 29.

Full title:: The Bulletin of Symbolic Logic / Association for Symbolic Logic
Publisher:: Champaign, IL, : Association for Symbolic Logic
Publication Year:: 1995-
Subject:: Logika symboliczna i matematyczna - czasopisma.

Periodical or newspaper

in the bookshelf

Details

Go to position 30.

Full title:: Notre Dame Journal of Formal Logic / ed. by Bolesław Sobociński
Publisher:: Notre Dame, Ind. : University of Notre Dame Press
Publication Year:: 1960-
Subject:: Logika symboliczna i matematyczna - czasopisma.

Periodical or newspaper

in the bookshelf

Details

Go to position 31.

Full title:: The Journal of Symbolic Logic
Publisher:: Pasadena : Association for Symbolic Logic
Publication Year:: 1936-
Subject:: Logika symboliczna i matematyczna - czasopisma.

Periodical or newspaper

in the bookshelf

Details

Go to position 32.

Full title:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Publisher:: Kraków : Wydaw. Naukowe WSP
Publication Year:: 1974
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 33.

Full title:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Publisher:: Kraków : Wydawnictwo Naukowe WSP
Publication:: Wyd. 2, popr
Publication Year:: 1984
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 34.

Full title:: Osnovaniâ matematičeskoj logiki / Haskell B. Karri ; per. s angl. V. V. Dončenko ; pod red. Û. A. Gasteva
Publisher:: Moskva : Izdatel'stvo Mir
Publication Year:: 1969
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 35.

Full title:: Logika matematyczna / Marian Panczakiewicz ; Uniwersytet Śląski w Katowicach
Publisher:: Katowice : Uniwersytet Śląski
Publication Year:: 1970
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 36.

Full title:: Introduction to mathematical logic : set theory computable functions model theory / Jerome Malitz
Publisher:: New York [etc.] : Springer-Verlag
Publication Year:: cop. 1979
Publication series:: Undergraduate Texts in Mathematics
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 37.

Full title:: Logika matematyczna : kurs uniwersytecki / Andrzej Mostowski
Publisher:: Warszawa ; Wrocław : [s.n.], (Wrocław : Druk. Uniwersytetu i Politechniki we Wrocławiu)
Publication Year:: 1948
Publication series:: Monografie Matematyczne ; t. 18
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 38.

Full title:: Logika matematyczna / Zofia Adamowicz, Paweł Zbierski
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1991
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 39.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydaw. Naukowe
Publication:: Wyd. 6
Publication Year:: 1984
Publication series:: Biblioteka Matematyczna ; t. 20
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 40.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1961
Publication series:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 41.

Full title:: Logika matematyczna / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Publisher:: Łódź ; Kraków : Państwowe Wydawnictwo Naukowe
Publication Year:: 1955
Publication series:: Skrypty dla Szkół Wyższych / Wyższa Szkoła Pedagogiczna w Krakowie
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 42.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie trzecie poprawione
Publication Year:: 1973
Publication series:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 43.

Full title:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Publisher:: Warszawa : Wydawnictwo Naukowe PWN
Publication:: Wyd. 2 popr. i uzup
Publication Year:: 1999
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 44.

Full title:: An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk : [translated Olgierd Wojtasiewicz and Wacław Zawadowski]
Publisher:: Dordrecht : D. Reidel Publishing Company ; Warszawa : PWN-Polish Scientific Publishers
Publication Year:: 1974
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 45.

Full title:: Elementy logiki matematycznej / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Publisher:: Kraków : Wyższa Szkoła Pedagogiczna
Publication:: Wyd. 2
Publication Year:: 1958
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 46.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wyd. 5
Publication Year:: 1981
Publication series:: Biblioteka Matematyczna t. 20
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 47.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wyd. 2 zm. i uzup
Publication Year:: 1969
Publication series:: Biblioteka Matematyczna ; t. 20
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 48.

Full title:: Logika ogólna : wybrane zagadnienia / Kazimiera Dyrda
Publisher:: Kielce : Instytut Matematyki AŚ : Wydawnictwo Gens
Publication:: Wydanie drugie rozszerzone
Publication Year:: 2001
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 49.

Full title:: Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1991
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 50.

Full title:: Logika dla inżynierów / A. W. Mostowski i Z. Pawlak
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1970
Publication series:: BNI Biblioteka Naukowa Inżyniera
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 51.

Full title:: Logic colloquium '69 : proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969 / Ed. by R. O. Gandy, C. M. E. Yates
Publisher:: Amsterdam ; London : North-Holland
Publication Year:: 1971
Publication series:: Studies in Logic and the Foundations of Mathematics ; vol. 61
Subject:: Logika symboliczna i matematyczna - konferencje.
Logika - konferencje.

Book

in the bookshelf

Details

Go to position 52.

Full title:: Proceedings of the conference "Algebra and logic", Cetinje 1986 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Publisher:: Novi Sad : Institute of Mathematics
Publication Year:: 1987
Subject:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 53.

Full title:: Proceedings of the Conference "Algebra and Logic", Zagreb 1984 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Publisher:: Novi Sad : Institute of Mathematics
Publication Year:: 1985
Subject:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 54.

Full title:: Stanovlenie idej matematičeskoj logiki / N. I. Stâžkin ; Akademia Nauk SSSR. Institut Filosofii
Publisher:: Moskva : Izdatel'stvo Nauka
Publication Year:: 1964
Subject:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - historia.

Book

in the bookshelf

Details

Go to position 55.

Full title:: Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1970
Subject:: Logika symboliczna i matematyczna - podręczniki.
Logika symboliczna i matematyczna.

Book

in the bookshelf

Details

Go to position 56.

Full title:: Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Publisher:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Publication Year:: 1977
Subject:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 57.

Full title:: Elementy logiki matematycznej / Jan Łukasiewicz ; oprac. M. Presburger
Publisher:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Publication Year:: cop. 2008
Subject:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 58.

Full title:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wyd. 4
Publication Year:: 1975
Publication series:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Subject:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 59.

Full title:: Formal systems and recursive functions : proceedings of the Eighth Logic Collquium Oxford, July 1963 / ed. by J. N. Crossley and M. A. E. Dummett
Publisher:: Amsterdam : Nort-Holland Publishing Company
Publication Year:: 1965
Publication series:: Studies in Logic and the Foundations of Mathematics
Subject:: Logika symboliczna i matematyczna - konferencje.
Funkcje rekursywne - konferencje.

Book

in the bookshelf

Details

Go to position 60.

Full title:: Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation / Stephen G. Simpson, ed
Publisher:: Providence, R. I. : American Mathematical Society
Publication Year:: cop. 1987
Publication series:: Contemporary Mathematics ; vol. 65
Subject:: Logika symboliczna i matematyczna - konferencje.
Analiza kombinatoryczna - konferencje.

Book

in the bookshelf

Details

Go to position 61.

Full title:: Mathematical logic and foundations of set theory : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities : Jerusalem, 11-14 November 1968 / ed. by Yehoshua Bar-Hillel
Publisher:: Amsterdam ; London : North-Holland
Publication Year:: 1970
Publication series:: Studies in Logic and the Foundations of Mathematics
Subject:: Logika symboliczna i matematyczna - konferencje.
Teoria zbiorów - konferencje.

Book

in the bookshelf

Details

Go to position 62.

Full title:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie I
Publication Year:: 1985
Subject:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki.

Book

in the bookshelf

Details

Go to position 63.

Full title:: 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
Publisher:: Paris : Éditions du Seuil
Publication Year:: 1982
Publication series:: Points. Sciences ; 29
Subject:: Matematyka - filozofia - konferencje.
Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 64.

Full title:: Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko
Publisher:: Chichester : John Wiley and Sons
Publication Year:: cop. 2015
Subject:: Logika symboliczna i matematyczna - podręczniki.
Informatyka - matematyka - podręczniki.

Book

in the bookshelf

Details

Go to position 65.

Full title:: Wstęp do logiki matematycznej i teorii mnogości / Helena Rasiowa ; Instytut Matematyczny Polskiej Akademii Nauk
Publisher:: Wrocław : Zakład Narodowy im. Ossolińskich
Publication Year:: 1966
Publication series:: Biblioteka Kursów Zastosowań Matematyki ; 8
Subject:: Logika symboliczna i matematyczna - podręczniki.
Teoria zbiorów - podręczniki.

Book

in the bookshelf

Details

Go to position 66.

Full title:: Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych / Marek Sikora, Beata Sikora
Publisher:: Gliwice : Wydawnictwo Politechniki Śląskiej
Publication Year:: 2019
Subject:: Teoria zbiorów - podręczniki.
Logika symboliczna i matematyczna - podręczniki.

Book

in the bookshelf

Details

Go to position 67.

Full title:: Logic from A to Z / Michael Detlefsen, David Charles McCarty, John B. Bacon
Publisher:: London ; New York : Routledge
Publication Year:: 1999
Subject:: Logika symboliczna i matematyczna - encyklopedie.
Matematyka - filozofia - encyklopedie.

Book

in the bookshelf

Details

Go to position 68.

Full title:: Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Publisher:: Berlin : Springer
Publication Year:: 1989
Publication series:: Lecture Notes in Computer Science ; 398
Subject:: Logika symboliczna i matematyczna - konferencje.
Projektowanie systemów - konferencje.

Book

in the bookshelf

Details

Go to position 69.

Full title:: Model akademickiego podręcznika logiki matematycznej dla studiów nauczycielskich : próba unowocześnienia podręcznika konwencjonalnego / Wanda Nowak
Publisher:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Publication Year:: 1975
Publication series:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 2
Subject:: Logika symboliczna i matematyczna - studia i nauczanie (akademickie).

Book

in the bookshelf

Details

Go to position 70.

Full title:: The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by. J. W. Addison, Leon Henkin, Alfred Tarski
Publisher:: Amsterdam ; London : North-Holland Publishing Company
Publication:: 3rd printing
Publication Year:: 1972
Publication series:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Subject:: Logika symboliczna i matematyczna - konferencje.
Modele matematyczne - konferencje.

Book

in the bookshelf

Details

Go to position 71.

Full title:: Matematika i logika : retrospektiva i perspektivy / M. Kac, S. Ulam ; per. s ang. N. I. Plužnikovoj ; pod red. I. M. Âgloma
Publisher:: Moskva : Izdatel'stvo Mir
Publication Year:: 1971
Publication series:: Sovremennaâ Matematika
Subject:: Logika symboliczna i matematyczna - wydawnictwa popularne.
Matematyka - wydawnictwa popularne.

Book

in the bookshelf

Details

Go to position 72.

Full title:: Mathématiques et logique : rétrospective et perspectives / Mark Kac, Stanislaw M. Ulam ; trad. par Philippe Gatbois
Publisher:: Paris : Dunod
Publication Year:: 1973
Subject:: Logika symboliczna i matematyczna - wydawnictwa popularne.
Matematyka - wydawnictwa popularne.

Book

in the bookshelf

Details

Go to position 73.

Full title:: Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; transl. by J. H. Woodger
Publisher:: Oxford : Clarendon Press
Publication Year:: cop. 1956
Subject:: Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 74.

Full title:: Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu
Publisher:: Poznań : Wydaw. Naukowe UAM
Publication:: Wyd. 2, popr. i uzup
Publication Year:: 1994
Subject:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 75.

Full title:: Proceedings of the conference "Algebra and logic", Sarajevo 1987 / [ed. Siniša Crvenković] ; Institute of Mathematics University of Novi Sad
Publisher:: Novi Sad : Institute of Mathematics University of Novi Sad
Publication Year:: 1989
Subject:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.
Logika - konferencje.

Book

in the bookshelf

Details

Go to position 76.

Full title:: Matematika a logika : retrospektiva a perspektivy / Mark Kac, Stanislaw M. Ulam ; přel. Vlastimil Mikoláš
Publisher:: Praha : Nakladatelství Technické Literatury
Publication Year:: 1977
Subject:: Matematyka - wydawnictwa popularne.
Logika symboliczna i matematyczna - wydawnictwa popularne.

Book

in the bookshelf

Details

Go to position 77.

Full title:: Logic, algebra, and computer science : Helena Rasiowa in memoriam / ed. of the vol. Damian Niwiński, Marek Zawadowski
Publisher:: Warszawa : Polish Academy of Sciences. Institute of Mathematics
Publication Year:: 1999
Publication series:: Banach Center Publications, 0137-6934 ; vol. 46
Subject:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.
Informatyka - konferencje.

Book

in the bookshelf

Details

Go to position 78.

Full title:: Igra i logika : 85 logičeskih zadač / D. Bizam, Â. Gerceg ; per. s veng. Û. A. Danilova
Publisher:: Moskva : "Mir"
Publication Year:: 1975
Subject:: Matematyka - wydawnictwa popularne.
Logika symboliczna i matematyczna - wydawnictwa popularne.

Book

in the bookshelf

Details

Go to position 79.

Full title:: 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
Publisher:: Moskva : Mir
Publication Year:: 1965
Subject:: Logika symboliczna i matematyczna - konferencje.
Nauka - filozofia - konferencje.
Metodologia - konferencje.

Book

in the bookshelf

Details

Go to position 80.

Full title:: 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.]
Publisher:: Warszawa : PWN-Polish Scientific Publishers ; Amsterdam : North Holland Publishing Company
Publication Year:: 1982
Subject:: Logika symboliczna i matematyczna - konferencje.
Nauka - filozofia - konferencje.
Metodologia - konferencje.

Book

in the bookshelf

Details

Go to position 81.

Full title:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie czwarte
Publication Year:: 1984
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 82.

Full title:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication Year:: 2005
Publication series:: Klasyka Informatyki
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 83.

Full title:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Publisher:: Warszawa : Wydawnictwa Naukowo-Techniczne
Publication:: Wyd. 2
Publication Year:: 2006
Publication series:: Klasyka Informatyki
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 84.

Full title:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Publisher:: Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych "Universitas"
Publication:: Wyd. 2
Publication Year:: 1999
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 85.

Full title:: Elementy logiki i teorii mnogości dla informatyków / Zbigniew Huzar
Publisher:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Publication Year:: 2007
Subject:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 86.

Full title:: Geometria Laguerre'a / Henryk Guściora
Publisher:: Gdańsk : Wydaw. Uniwersytetu Gdańskiego
Publication Year:: 1975
Publication series:: Uniwersytet Gdański / Skrypty Uczelniane
Subject:: Geometria analityczna - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 87.

Full title:: Model theory for infinitely deep languages / Maaret Karttunen
Publisher:: Helsinki : Suomalainen Tiedeakatemia
Publication Year:: 1984
Publication series:: Annales Academiae Scientiarum Fennicae. Series A. 1, Mathematica. Dissertationes, 0355-0087 ; 50
Subject:: Logika symboliczna i matematyczna - rozprawy akademickie.
Teoria modeli - rozprawy akademickie.

Book

in the bookshelf

Details

Go to position 88.

Full title:: Elementy logiki matematycznej i teorii mnogości : materiały do badań eksperymentalnych : dla studentów matematyki kierunku nauczycielskiego / Wanda Nowak
Publisher:: Poznań : Zakład Matematyki Wyższego Studium Nauczycielskiego Uniwersytetu im. Adama Mickiewicza
Publication Year:: 1973
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 89.

Full title:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Publisher:: Warszawa : Państwowe Wydaw. Naukowe
Publication:: Wyd. 2 popr. i uzup
Publication Year:: 1966
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 90.

Full title:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie I
Publication Year:: 1963
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 91.

Full title:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Publisher:: Opole : Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich
Publication Year:: 1974
Publication series:: Wydawnictwa Skryptowe / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu
Subject:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 92.

Full title:: Teoria mnozestv / pod red. V. N. Grisina ; perevod s ang. B. G. Kanovea
Publisher:: Moskva : "Nauka"
Publication Year:: 1982
Publication series:: Spravocnaa kniga po matematiceskoj logike : v cetyreh castah / pod red. Dz. Barvajsa ; C. 2
Subject:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 93.

Full title:: Elementy logiki i teorii mnogości / Agnieszka Wojciechowska
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie I
Publication Year:: 1979
Subject:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 94.

Full title:: Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication Year:: 1978
Subject:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Book

in the bookshelf

Details

Go to position 95.

Full title:: Frege Conference 1984 : proceedings of the International Conference held at Schwerin (GDR), September 10-14, 1984 / ed. by Gerd Wechsung
Publisher:: Berlin : Akademie-Verlag
Publication Year:: 1984
Publication series:: Mathematical Research = Mathematische Forschung, 0138-3019 ; Bd. 20
Subject:: Matematyka - konferencje.
Teoria automatów - konferencje.
Logika symboliczna i matematyczna - konferencje.

Book

in the bookshelf

Details

Go to position 96.

Full title:: Wstęp do analizy matematycznej, logiki i teorii mnogości / Inga Jędrzejewska, Elżbieta Kotlicka, Bożena Szkopińska
Publisher:: Łódź : Wydawnictwo Politechniki Łódzkiej
Publication:: Wyd. 2
Publication Year:: 2009
Publication series:: Skrypty dla Szkół Wyższych / Politechnika Łódzka
Subject:: Analiza matematyczna - podręczniki akademickie.
Analiza matematyczna - zadania i ćwiczenia.
Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - podręczniki akademickie.
Teoria zbiorów - zadania i ćwiczenia.

Book

in the bookshelf

Details

Go to position 97.

Full title:: Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego
Publisher:: Warszawa : Państwowe Wydawnictwo Naukowe
Publication:: Wydanie pierwsze
Publication Year:: 1987
Subject:: Logika symboliczna i matematyczna - encyklopedie.
Logika.
Logika symboliczna i matematyczna.

Book

in the bookshelf

Details

Go to position 98.

Full title:: Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov / I. A. Lavrov, L. L. Maksimova
Publisher:: Moskva : Izdatel'stvo "Nauka". Glavnaâ redakciâ fiziko-matematičeskoj literatury
Publication:: Izd. 2
Publication Year:: 1984
Subject:: Teoria zbiorów - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Book

in the bookshelf

Details

Go to position 99.

Full title:: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z jęz. ros. przeł. Jerzy Pogonowski
Publisher:: Warszawa : Wydawnictwo Naukowe PWN
Publication Year:: 2004
Subject:: Teoria zbiorów - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.

Book

in the bookshelf

Details

Go to position 100.

Full title:: 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
Publisher:: Dordrecht ; Boston : D. Reidel Publishing Company
Publication Year:: cop. 1977
Publication series:: The University of Western Ontario Series in Philosophy of Science ; vol. 9
Subject:: Logika symboliczna i matematyczna - konferencje.
Matematyka - filozofia - konferencje.
Funkcje obliczalne - konferencje.

Book

in the bookshelf

Details

Information

You search for a phrase "Logika symboliczna i matematyczna." according to the criterion: Subject

Data source

Location

Shelving location

Author

Subject

Publication Year

Language

Country

Item Type