Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaKatalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

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

  Lista filtrów

Położenie

Pokaż wszystkie »

Autor

Pokaż wszystkie »

Temat

Pokaż wszystkie »

Rok publikacji

Język

Kraj

Pokaż wszystkie »

Typ dokumentu

Wyrównaj
Wyświetlanie 1-100 z 259
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
Tytuł pełny:
Studies in the history of mathematical logic / ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:
Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo PAN
Rok wydania:
1973
Temat:
Logika symboliczna i matematyczna - historia.
Książka
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
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
Szczegóły
propozycja biblioteki
Tytuł pełny:
Introduction to mathematical logic / Elliott Mendelson
Wydawca:
Boca Raton [etc.] : Chapman & Hall Book/CRC Press
Wydanie:
5th ed
Rok wydania:
cop. 2009
Seria:
Discrete Mathematics and its Applications
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Collected works. Vol. 1 / Stanisław Leśniewski ; ed. by Stanisław J. Surma, Jan T. Srzednicki and D. I. Barnett ; with an annotated bibliography by V. Frederick Rickey
Wydawca:
Dordrecht [etc.] : Kluwer Academic Publishers
Rok wydania:
cop. 1992
Seria:
Nijhoff International Philosophy Series, 0924-4530 ; vol. 44
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Intuitionism : an introduction / A. Heyting
Wydawca:
Amsterdam : North-Holland Publishing Company
Wydanie:
2nd rev. ed
Rok wydania:
1966
Seria:
Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Course of mathematical logic. Vol. 2, Model theory / Roland Fraïssé ; [transl. ed. by David Louvish]
Wydawca:
Dordrecht ; Boston : D. Reidel Publishing Company
Rok wydania:
cop. 1974
Seria:
Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences ; vol. 69
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Term logic with choice operator / Hans Hermes
Wydawca:
Berlin [etc.] : Springer-Verlag
Wydanie:
[1st Engl. ed. rev. and enl. from 1st Germ. ed. publ. 1965]
Rok wydania:
1970
Seria:
Lecture Notes in Mathematics : a collection of informal reports and seminars ; 6
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Course of mathematical logic. Vol. 1, Relation and logical formula / Roland Fraïssé ; [transl. ed. by David Louvish]
Wydawca:
Dordrecht ; Boston : D. Reidel Publishing Company
Wydanie:
2nd print
Rok wydania:
cop. 1974
Seria:
Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Introduction to logic / by Patrick Suppes
Wydawca:
Princeton, New Jersey [etc.] : D. van Nostrand Company, Inc
Wydanie:
4th print
Rok wydania:
1960
Seria:
University Series in Undergraduate Mathematics
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Advanced logic for applications / Richard E. Grandy
Wydawca:
Dordrecht ; Boston : Reidel Publishing Company
Rok wydania:
cop. 1977
Seria:
Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences ; vol. 110
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
A manual of intensional logic / Johan van Benthem
Wydawca:
Stanford : Center for the Study of Language and Information
Wydanie:
2 ed. rev. and expanded
Rok wydania:
1988
Seria:
CSLI Lecture Notes ; no. 1
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Definitions : the primitive concept of logics or the Leśniewski-Tarski legacy / E.G.K. Lopez-Escobar and Francisco Miraglia
Wydawca:
Warszawa : IM. PAN
Rok wydania:
2002
Seria:
Dissertationes Mathematicae , 0012-3862 ; 401
Dissertationes Mathematicae ; 401
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Basic notes in foundation : International Postgraduate Course in Topology, Functional Analysis and the Foundations of Mathematics, Warszawa 1967-1968 / Andrzej Grzegorczyk
Wydawca:
Warszawa : Polish Akademy of Sciences
Rok wydania:
[1968]
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Handbook of mathematical logic / ed. by Jon Barwise ; with the cooperation of H. J. Keisler [et al]
Wydawca:
Amsterdam : North-Holland
Rok wydania:
1977
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 90
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic in algebraic form : three languages and theories / William Craig
Wydawca:
Amsterdam [etc.] : North-Holland
Rok wydania:
1974
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 72
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic year 1979-80 : the University of Connecticut, USA / ed. by M. Lerman, J. H. Schmerl, and R. I. Soare
Wydawca:
Berlin [etc.] : Springer-Verlag
Rok wydania:
1981
Seria:
Lecture Notes in Mathematics, 0075-8434 ; 859
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / ed. by Hugues Leblanc
Wydawca:
Amsterdam ; London : North-Holland
Rok wydania:
1973
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 68
Temat:
Logika symboliczna i matematyczna.
Książka
Szczegóły
Wyświetlanie 1-100 z 259

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz