Informacja

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

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


propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej w przykładach i zadaniach / Jerzy Grochulski, Michał Matałycki ; Politechnika Częstochowska. Wydział Inżynierii Mechanicznej i Informatyki
Wydawca:
Częstochowa : Wydaw. PC
Rok wydania:
2003
Seria:
Skrypty Politechniki Częstochowskiej, 1234-9909 ; 43
Temat:
Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Książka
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
propozycja biblioteki
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
propozycja biblioteki
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
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
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
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
propozycja biblioteki
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
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
propozycja biblioteki
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
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
propozycja biblioteki
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
propozycja biblioteki
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
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
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
propozycja biblioteki
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

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