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

Skocz do pozycji 1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skocz do pozycji 26.

Tytuł pełny:: 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
Wydawca:: Amsterdam ; London : North-Holland
Rok wydania:: 1971
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 61
Temat:: Logika symboliczna i matematyczna - konferencje.
Logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Proceedings of the conference "Algebra and logic", Cetinje 1986 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics
Rok wydania:: 1987
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Proceedings of the Conference "Algebra and Logic", Zagreb 1984 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics
Rok wydania:: 1985
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

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

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

Książka

na półce

Szczegóły

Skocz do pozycji 31.

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

Książka

na półce

Szczegóły

Skocz do pozycji 32.

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

Książka

na półce

Szczegóły

Skocz do pozycji 33.

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

Książka

na półce

Szczegóły

Skocz do pozycji 34.

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

Tytuł pełny:: 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
Wydawca:: Providence, R. I. : American Mathematical Society
Rok wydania:: cop. 1987
Seria:: Contemporary Mathematics ; vol. 65
Temat:: Logika symboliczna i matematyczna - konferencje.
Analiza kombinatoryczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: 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
Wydawca:: Amsterdam ; London : North-Holland
Rok wydania:: 1970
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna - konferencje.
Teoria zbiorów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1985
Temat:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

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

Tytuł pełny:: Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko
Wydawca:: Chichester : John Wiley and Sons
Rok wydania:: cop. 2015
Temat:: Logika symboliczna i matematyczna - podręczniki.
Informatyka - matematyka - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

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

Tytuł pełny:: Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych / Marek Sikora, Beata Sikora
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:: 2019
Temat:: Teoria zbiorów - podręczniki.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

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

Tytuł pełny:: Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Wydawca:: Berlin : Springer
Rok wydania:: 1989
Seria:: Lecture Notes in Computer Science ; 398
Temat:: Logika symboliczna i matematyczna - konferencje.
Projektowanie systemów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Model akademickiego podręcznika logiki matematycznej dla studiów nauczycielskich : próba unowocześnienia podręcznika konwencjonalnego / Wanda Nowak
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:: 1975
Seria:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 2
Temat:: Logika symboliczna i matematyczna - studia i nauczanie (akademickie).

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by. J. W. Addison, Leon Henkin, Alfred Tarski
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Wydanie:: 3rd printing
Rok wydania:: 1972
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:: Logika symboliczna i matematyczna - konferencje.
Modele matematyczne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Matematika i logika : retrospektiva i perspektivy / M. Kac, S. Ulam ; per. s ang. N. I. Plužnikovoj ; pod red. I. M. Âgloma
Wydawca:: Moskva : Izdatel'stvo Mir
Rok wydania:: 1971
Seria:: Sovremennaâ Matematika
Temat:: Logika symboliczna i matematyczna - wydawnictwa popularne.
Matematyka - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Mathématiques et logique : rétrospective et perspectives / Mark Kac, Stanislaw M. Ulam ; trad. par Philippe Gatbois
Wydawca:: Paris : Dunod
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - wydawnictwa popularne.
Matematyka - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

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

Tytuł pełny:: Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu
Wydawca:: Poznań : Wydaw. Naukowe UAM
Wydanie:: Wyd. 2, popr. i uzup
Rok wydania:: 1994
Temat:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Proceedings of the conference "Algebra and logic", Sarajevo 1987 / [ed. Siniša Crvenković] ; Institute of Mathematics University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics University of Novi Sad
Rok wydania:: 1989
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.
Logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Matematika a logika : retrospektiva a perspektivy / Mark Kac, Stanislaw M. Ulam ; přel. Vlastimil Mikoláš
Wydawca:: Praha : Nakladatelství Technické Literatury
Rok wydania:: 1977
Temat:: Matematyka - wydawnictwa popularne.
Logika symboliczna i matematyczna - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Logic, algebra, and computer science : Helena Rasiowa in memoriam / ed. of the vol. Damian Niwiński, Marek Zawadowski
Wydawca:: Warszawa : Polish Academy of Sciences. Institute of Mathematics
Rok wydania:: 1999
Seria:: Banach Center Publications, 0137-6934 ; vol. 46
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.
Informatyka - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Igra i logika : 85 logičeskih zadač / D. Bizam, Â. Gerceg ; per. s veng. Û. A. Danilova
Wydawca:: Moskva : "Mir"
Rok wydania:: 1975
Temat:: Matematyka - wydawnictwa popularne.
Logika symboliczna i matematyczna - wydawnictwa popularne.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

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

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

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

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2005
Seria:: Klasyka Informatyki
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wyd. 2
Rok wydania:: 2006
Seria:: Klasyka Informatyki
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych "Universitas"
Wydanie:: Wyd. 2
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: Elementy logiki i teorii mnogości dla informatyków / Zbigniew Huzar
Wydawca:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania:: 2007
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Geometria Laguerre'a / Henryk Guściora
Wydawca:: Gdańsk : Wydaw. Uniwersytetu Gdańskiego
Rok wydania:: 1975
Seria:: Uniwersytet Gdański / Skrypty Uczelniane
Temat:: Geometria analityczna - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Model theory for infinitely deep languages / Maaret Karttunen
Wydawca:: Helsinki : Suomalainen Tiedeakatemia
Rok wydania:: 1984
Seria:: Annales Academiae Scientiarum Fennicae. Series A. 1, Mathematica. Dissertationes, 0355-0087 ; 50
Temat:: Logika symboliczna i matematyczna - rozprawy akademickie.
Teoria modeli - rozprawy akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości : materiały do badań eksperymentalnych : dla studentów matematyki kierunku nauczycielskiego / Wanda Nowak
Wydawca:: Poznań : Zakład Matematyki Wyższego Studium Nauczycielskiego Uniwersytetu im. Adama Mickiewicza
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

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

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

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Opole : Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich
Rok wydania:: 1974
Seria:: Wydawnictwa Skryptowe / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Teoria mnozestv / pod red. V. N. Grisina ; perevod s ang. B. G. Kanovea
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1982
Seria:: Spravocnaa kniga po matematiceskoj logike : v cetyreh castah / pod red. Dz. Barvajsa ; C. 2
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Elementy logiki i teorii mnogości / Agnieszka Wojciechowska
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1979
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: 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
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1978
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Frege Conference 1984 : proceedings of the International Conference held at Schwerin (GDR), September 10-14, 1984 / ed. by Gerd Wechsung
Wydawca:: Berlin : Akademie-Verlag
Rok wydania:: 1984
Seria:: Mathematical Research = Mathematische Forschung, 0138-3019 ; Bd. 20
Temat:: Matematyka - konferencje.
Teoria automatów - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Wstęp do analizy matematycznej, logiki i teorii mnogości / Inga Jędrzejewska, Elżbieta Kotlicka, Bożena Szkopińska
Wydawca:: Łódź : Wydawnictwo Politechniki Łódzkiej
Wydanie:: Wyd. 2
Rok wydania:: 2009
Seria:: Skrypty dla Szkół Wyższych / Politechnika Łódzka
Temat:: 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.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

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

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov / I. A. Lavrov, L. L. Maksimova
Wydawca:: Moskva : Izdatel'stvo "Nauka". Glavnaâ redakciâ fiziko-matematičeskoj literatury
Wydanie:: Izd. 2
Rok wydania:: 1984
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z jęz. ros. przeł. Jerzy Pogonowski
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Rok wydania:: 2004
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

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

Tytuł pełny:: Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Wydanie:: Wyd. 2 nie zm
Rok wydania:: 1991
Seria:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:: Poznań : Wydawnictwo Naukowe UAM
Rok wydania:: 1990
Seria:: Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydaw. Naukowe PWN
Wydanie:: Wyd. 11
Rok wydania:: 2003
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 6
Rok wydania:: 1996
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 8
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 9
Rok wydania:: 2000
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 10
Rok wydania:: 2001
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydaw. Naukowe PWN
Wydanie:: Wyd. 7
Rok wydania:: 1998
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie drugie poprawione
Rok wydania:: 1975
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, (2 dodr.)
Rok wydania:: 2006
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydaw. Naukowe, PWN
Wydanie:: Wyd. 10, dodruk
Rok wydania:: 2002
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 5
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie IV
Rok wydania:: 1978
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:: 1972
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, (3 dodr.)
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Logic and computer science : lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 - 28, 1988 / ed. P. Odifreddi ; S. Homer [et al.]
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1990
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 1429
Temat:: Logika symboliczna i matematyczna - konferencje.
Programowanie matematyczne - konferencje.
Złożoność obliczeniowa (informatyka) - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12
Rok wydania:: 2004
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, 6 dodr
Rok wydania:: 2012
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

Tytuł pełny:: Geodezja / Józef Kożuchowski
Wydawca:: Wrocław : Redakcja Wydawnictw Politechniki Wrocławskiej
Rok wydania:: 1973
Seria:: Skrypty / Politechnika Wrocławska
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Geodezja - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 95.

Tytuł pełny:: Elementy logiki matematycznej i algebry wyższej w przykladach i ćwiczeniach : dla wyższych studiów technicznych : praca zbiorowa / zespól autorski: Olga Bereśniewicz-Rajca, Krystyna Szczerbińska, Jan Walichiewicz
Wydawca:: Gliwice : Dział Wydawnictw Politechniki Śląskiej
Rok wydania:: 1970
Seria:: Skrypty Uczelniane / Politechnika Śląska im. Wincentego Pstrowskiego ; nr 265
Temat:: Logika matematyczna nieklasyczna.
Algebra - podręczniki dla szkół średnich.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algebra - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

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

Tytuł pełny:: Wstęp do logiki i teorii mnogości / Urszula Dudziak, Józef Drewniak
Wydawca:: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego
Rok wydania:: 2012
Temat:: Logika - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Logika i teoria mnogości : ujęcie systematyczno-historyczne / Kazimierz Trzęsicki
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza EXIT
Rok wydania:: 2003
Seria:: Problemy Współczesnej Nauki i Techniki. Informatyka
Temat:: Logika - podręczniki.
Teoria zbiorów - podręczniki.
Logika - zastosowania naukowe.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski
Wydawca:: Lublin : TN KUL
Rok wydania:: 1991
Seria:: Źródła i Monografie / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 133
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 100.

Tytuł pełny:: 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
Wydawca:: Warszawa : Wydawnictwa Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1994
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika - podręczniki akademickie.
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