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

Skocz do pozycji 1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Skocz do pozycji 51.

Tytuł pełny:: Identyczność znaku czy znak identyczności ? / pod redakcją Joanny Golińskiej-Pilarek i Anny Wójtowicz
Wydawca:: Warszawa : Wydawnictwa Uniwersytetu Warszawskiego
Rok wydania:: 2012
Temat:: Omyła, Mieczysław (1941- ) - księgi pamiątkowe.
Logika symboliczna i matematyczna - konferencje.
Rachunek zdań - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Dictionary of symbols of mathematical logic / Ed. by Robert Feys and Frederic B. Fitch
Wydawca:: Amsterdam : North-Holland
Rok wydania:: 1969
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Matematyka - notacja.
Logika symboliczna i matematyczna - słowniki.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Reports on Mathematical Logic / The Jagiellonian University of Cracow, The Silesian University of Katowice
Wydawca:: Warsaw ; Cracow : Polish Scientific Publishers
Rok wydania:: 1973-
Temat:: Logika symboliczna i matematyczna - czasopisma.
Logika matematyczna nieklasyczna - czasopisma.
Gatunek / Forma:: Czasopisma naukowe - Polska - 1970-2000.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 54.

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

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Handbook of logic and language / [ed. by] Johan van Benthem, Alice ter Meulen
Wydawca:: Amsterdam [etc.] : Elsevier
Wydanie:: 2nd ed
Rok wydania:: 2011
Seria:: Elsevier Insights
Temat:: Językoznawstwo - podręczniki.
Logika symboliczna i matematyczna - podręczniki.
Przetwarzanie języka naturalnego (informatyka) - podręczniki.
Semantyka - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński ; [red. odpowiedzialny t. Jan Woleński ; red. nauk. Danuta Miller] ; Polska Akademia Nauk. Komitet Nauk Filozoficznych
Wydawca:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich. Wydawnictwo Polskiej Akademii Nauk
Rok wydania:: 1990
Seria:: Dzieła wszystkie / Tadeusz Kotarbiński ; kom. red. Wojciech Gasparski (przewodn.) [et al.] ; 1
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria poznania - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 3
Rok wydania:: 1986
Temat:: Teoria poznania - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: A beginner's further guide to mathematical logic / Raymond Smullyan
Wydawca:: Singapore [et al.] : World Scientific
Rok wydania:: cop. 2017
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Mathematische Gesetze der Logik. 1, Vorlesungen über Aussagenlogik / von H. Arnold Schmidt
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1960
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 69
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: Logika matematyczna / Willard Van Orman Quine ; przełożył Leon Koj
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie pierwsze
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Elementy logiki matematycznej / Jan Łukasiewicz ; Polska Akademia Nauk. Instytut Filozofii i Socjologii - Zakład Logiki
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 2
Rok wydania:: 1958
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Algebra Boole'a - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

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

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: Wstęp do logiki i teorii mnogości : zbiór zadań z rozwiązaniami / Urszula Dudziak, Anna Król
Wydawca:: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego
Rok wydania:: 2014
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia - podręczniki akademickie.
Teoria zbiorów - zadania i ćwiczenia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: Ćwiczenia z logiki / Barbara Stanosz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wydanie dziewiąte
Rok wydania:: 1998
Temat:: Logika - zadania i ćwiczenia.
Język i logika - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Student solutions manual to accompany Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Craweley
Wydawca:: Hoboken : John Wiley & Sons. Inc
Rok wydania:: copyright 2006
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Gry matematyczne - zadania i ćwiczenia.
Informatyka - matematyka - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

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

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 1, Logiczna teoria programowania / Andrzej Biela
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1983
Seria:: Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki) / Andrzej Biela
Wydawca:: Katowice : Wydaw. Uniwersytetu Śląskiego
Wydanie:: Wyd. 2
Rok wydania:: 1995
Seria:: Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 511
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Matematyka. T. 1 / Sławomir Dorosiewicz, Jacek Kłopotowski, Dariusz Kołatkowski ; pod red. naukową Sławomira Dorosiewicza
Wydawca:: Warszawa : Szkoła Główna Handlowa
Rok wydania:: 2002
Temat:: Algebra liniowa - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Funkcje (matematyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Algebra : elementy z zastosowaniami w ekonomii / Tadeusz Ostrowski
Wydawca:: Gorzów Wielkopolski : Wydawnictwo Państwowej Wyższej Szkoły Zawodowej
Rok wydania:: 2010
Seria:: Pomoce dydaktyczne / Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wielkopolskim
Temat:: Algebra liniowa - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Ciągi (matematyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Zdzisław Płoski
Wydawca:: Gliwice : Helion
Wydanie:: Nowe wyd. polskie
Rok wydania:: 2012
Seria:: Kanon Informatyki
Temat:: Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2002
Seria:: Klasyka Informatyki
Temat:: Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wyd. 2
Rok wydania:: 2007
Seria:: Klasyka Informatyki
Temat:: Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

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

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Some homological constructions in representation theory / Pavle Pandžić. Characteristic classes and bisimulations of generalized Veltman models / Mladen Vuković
Wydawca:: Graz : Universität Graz
Rok wydania:: 1999
Seria:: Grazer Mathematische Berichte, 1016-7692 ; Nr. 341
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka
Wydawca:: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego
Rok wydania:: 2012
Seria:: Rozprawy i Monografie / Uniwersytet Warmińsko-Mazurski w Olsztynie = Dissertations and Monographs / University of Warmia and Mazury in Olsztyn, 1509-3018 ; 176
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Provability in logic / Stig Kanger
Wydawca:: Stockholm : Almqvist & Wiksells
Rok wydania:: 1957
Seria:: Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy ; 1
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Logiki nihilistyczne, czyli Teorie prawd "powierzchownych" i "głębokich" / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania:: 2001
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Essays in matrix semantics of relevant logics / Marek Tokarz ; The Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Warszawa : The Institute of Philosophy and Sociology of the Polish Academy of Sciences
Rok wydania:: 1980
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Einführung in die Mathematische Logik: die Einleitung der Principia Mathematica / Bertrand Russell und Alfred North Whitehead; ins Deutsche übertragen von Hans Mokre
Wydawca:: München ; Berlin : Drei Masken Verlag
Rok wydania:: 1932
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

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

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Matematičeskaâ logika / Dž. Šenfild ; perevod s anglijskogo I. A. Lavrova i I. A. Mal'ceva ; pod redakciej Û. L. Eršova
Wydawca:: Moskva : Izdatel'stvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1975
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: An introduction to practical formal methods using temporal logic / Michael Fisher
Wydawca:: Chichester : Wiley
Rok wydania:: cop. 2011
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Advanced logic for applications / Richard E. Grandy
Wydawca:: Dordrecht [etc.] : Reidel Publishing Company
Rok wydania:: cop. 1979
Seria:: Pallas Paperback ; 13
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Lectures in logic and set theory. Vol. 1, Mathematical logic / George Tourlakis
Wydawca:: Cambridge [etc.] : Cambridge University Press
Wydanie:: 1 paperback ed. 2010
Rok wydania:: cop. 2010
Seria:: Cambridge Studies in Advanced Mathematics ; 82
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Logical writings / Jacques Herbrand ; ed. by Warren D. Goldfarb ; a transl., ed. by Jean Van Heijenoort
Wydawca:: Dordrecht : D. Reidel Publishing Company
Rok wydania:: cop. 1971
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: 4. Aufl
Rok wydania:: 1959
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 27
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Branched quantifiers / Marcin Mostowski
Wydawca:: Białystok : Dział Wydawnictw Filii Uniwersytetu Warszawskiego
Rok wydania:: 1991
Seria:: Rozprawy Uniwersytetu Warszawskiego = Dissertationes Universitatis Varsoviensis, 0509-7177 ; 410
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Introduction to mathematical logic / Michał Walicki
Wydawca:: New Jersey [etc.] : World Scientific
Rok wydania:: cop. 2012
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

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

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Matematičeskaâ logika : dopolnitel'nye glavy / A. N. Kolmogorov, A. G. Dragalin
Wydawca:: Moskva : Izdatel'stvo Moskovskogo Universiteta
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Vyrazimost' v isčisleniâh vyskazyvanij / M. F. Raca ; pod red. A. D. Tajmanova ; Akademiâ Nauk SSRM. Ordena Trudovogo Krasnogo Znameni Institut Matematiki s Vyčislitel'nym Centrom
Wydawca:: Kišinev : Štiinca
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

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

Książka

na półce

Szczegóły

Skocz do pozycji 95.

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

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: Games and infinitary languages / Tapani Hyttinen
Wydawca:: Helsinki : Suomalainen Tiedeakatemia
Rok wydania:: 1987
Seria:: Annales Academiae Scientiarum Fennicae. Series A.1, Mathematica. Dissertationes, 0355-0087 ; 64
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: Essai de logique opératoire / par Jean Piaget
Wydawca:: Paris : Dunod
Wydanie:: 2 ed. / établie par Jean-Blaise Grize ; avec une introd. de l'auteur
Rok wydania:: 1972
Seria:: Collection Sciences du Comportement ; 15
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Essais sur les logiques non chrysippiennes / Gr. C. Moisil
Wydawca:: Bucarest : Éditions de L'Académie de la République Socialiste de Roumanie
Rok wydania:: 1972
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

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

Książka

na półce

Szczegóły

Skocz do pozycji 100.

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

Książka

na półce

Szczegóły

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