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

Skocz do pozycji 1.

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

Książka

na półce

Szczegóły

Skocz do pozycji 2.

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

Książka

na półce

Szczegóły

Skocz do pozycji 3.

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

Książka

na półce

Szczegóły

Skocz do pozycji 4.

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

Książka

na półce

Szczegóły

Skocz do pozycji 5.

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

Książka

na półce

Szczegóły

Skocz do pozycji 6.

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

Książka

na półce

Szczegóły

Skocz do pozycji 7.

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

Książka

na półce

Szczegóły

Skocz do pozycji 8.

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

Książka

na półce

Szczegóły

Skocz do pozycji 9.

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

Książka

na półce

Szczegóły

Skocz do pozycji 10.

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

Książka

na półce

Szczegóły

Skocz do pozycji 11.

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

Książka

na półce

Szczegóły

Skocz do pozycji 12.

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

Książka

na półce

Szczegóły

Skocz do pozycji 13.

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

Książka

na półce

Szczegóły

Skocz do pozycji 14.

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

Książka

na półce

Szczegóły

Skocz do pozycji 15.

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

Książka

na półce

Szczegóły

Skocz do pozycji 16.

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

Książka

na półce

Szczegóły

Skocz do pozycji 17.

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

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 / ed. by H. Arnold Schmidt, K. Schütte, H.-J. Thielle
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1968
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

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

Książka

na półce

Szczegóły

Skocz do pozycji 20.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tytuł pełny:: Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday / ed. by Leon Henkin [et al.] ; publ. for the Association for Symbolic Logic
Wydawca:: Providence : American Mathematical Society
Rok wydania:: 1974
Seria:: Proceedings of Symposia in Pure Mathematics, 0082-0717 ; vol. 25
Temat:: Tarski, Alfred (1901-1983) - bibliografia.
Tarski, Alfred (1901-1983).
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

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

Tytuł pełny:: Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk / ed. by Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński
Wydawca:: Bialystok : University of Bialystok
Rok wydania:: 2012
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 27 (40)
Temat:: Grzegorczyk, Andrzej (1922-2014) - księgi pamiątkowe.
Logika symboliczna i matematyczna.
Logika informatyczna.
Język i logika.
Logika symboliczna i matematyczna - konferencje.
Logika informatyczna - konferencje.
Język i logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Formal methods in the methodology of empiricial sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / ed. by Marian Przełęcki, Klemens Szaniawski and Ryszard Wójcicki ; assoc. ed. Grzegorz Malinowski
Wydawca:: Wrocław [etc.] : Ossolineum
Rok wydania:: 1976
Temat:: Nauka - metodologia - konferencje.
Nauka - filozofia - konferencje.
Logika symboliczna i matematyczna.
Matematyka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Mathematical logic in computer science / ed. by B. Dömölki and T. Gergely
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: cop. 1981
Seria:: Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 26
Temat:: Logika symboliczna i matematyczna.
Informatyka - matematyka.
Komputery - programowanie.
Komputery - programowanie - konferencje.
Języki programowania - semantyka - konferencje.

Książka

na półce

Szczegóły

Informacja

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

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu