Temat: Intuicjonizm matematyczny. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Constructive mathematics : proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980 / ed. by F. Richman
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1981
Seria:: Lecture Notes in Mathematics ; 873
Temat:: Matematyka konstruktywna - konferencje.
Intuicjonizm matematyczny - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Intuitionism and proof theory : proceedings of the summer conference at Buffalo N. Y. 1968 / ed. by A. Kino, J. Myhill, R. E. Vesley
Wydawca:: Amsterdam ; London : North-Holland Publishing
Rok wydania:: 1970
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Intuicjonizm matematyczny - konferencje.
Teoria dowodu - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: The L. E. J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / ed. by A. S. Troelstra and D. van Dalen
Wydawca:: Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:: cop. 1982
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 110
Temat:: Matematyka konstruktywna - konferencje.
Intuicjonizm matematyczny - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: The Kleene symposium: proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / ed. by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Wydawca:: Amsterdam : North-Holland Publishing Company
Rok wydania:: 1980
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X ; vol. 101
Temat:: Kleene, Stephen Cole (1909-1994) - konferencje.
Teoria rekursywności - konferencje.
Intuicjonizm matematyczny - konferencje.
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Intuitionism : an introduction / A. Heyting
Wydawca:: Amsterdam : North-Holland Publ. Co
Rok wydania:: 1956
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Intuitionismus / von Luitzen Egbertus Jan Brouwer ; hrsg., eingeleitet und kommentiert von Dirk van Dalen
Wydawca:: Mannheim [etc.] : BI Wissenschaftsverlag
Rok wydania:: cop. 1992
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y. / A. S. Troelstra
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1969
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 95
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic / Cecylia Rauszer ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1980
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 167
Temat:: Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Metodologičeskie problemy intuicionistskoj matematiki / M. I. Panov ; otv. red. E. F. Solopov ; Akademiâ Nauk SSSR. Central'nyj Sovet Filosofskih (Metodologičeskih) Seminarov pri Prezidiume AN SSSR
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1984
Temat:: Intuicjonizm matematyczny.
Metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Choice sequences : a chapter of intuitionistic mathematics / by A. S. Troelstra
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1977
Seria:: Oxford Logic Guides ; 3
Temat:: Intuicjonizm matematyczny.
Ciągi (matematyka).

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Dydaktyczne wartości intuicji kombinatorycznych uczniów szkoły podstawowej / Stanisław Kucharczyk
Wydawca:: Opole : WSP
Rok wydania:: 1986
Seria:: Studia i Monografie / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu, 0239-6718 ; nr 112
Temat:: Matematyka - studia i nauczanie (podstawowe).
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Proof theory and intuitionistic systems / Bruno Scarpellini
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1971
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 212
Temat:: Teoria dowodu.
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt
Wydawca:: Berlin ; New York : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 306
Temat:: Intuicjonizm matematyczny.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (ed.)
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1973
Seria:: Lecture Notes in Mathematics ; 344
Temat:: Teoria dowodu.
Teoria modeli.
Intuicjonizm matematyczny.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Elements of intuitionism / by Michael Dummett
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1977
Temat:: Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.
Formalizacja (matematyka).

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
Wydawca:: Amsterdam : North-Holland Pub. Co
Rok wydania:: 1965
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Funkcje rekursywne.
Intuicjonizm matematyczny.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Le pays des possibles : Wittgenstein, les mathématiques et le monde réel / Jacques Bouveresse
Wydawca:: Paris : Les Editions de Minuit
Rok wydania:: 1988
Seria:: Collection "Critique"
Temat:: Wittgenstein, Ludwig (1889-1951) - krytyka i interpretacja.
Filozofia i matematyka.
Rozumowanie.
Intuicjonizm matematyczny.
Gatunek / Forma:: Książki

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Bisymulacje modeli Kripkego dla teorii intuicjonistycznych pierwszego rzędu / Małgorzata Kruszelnicka
Wydawca:: Katowice
Rok wydania:: 2014
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Modalność (logika).
Intuicjonizm matematyczny.
Logika intuicjonistyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Semantyczne badania fragmentów Intuicjonistycznej Logiki Kontrolnej / Anna Glenszczyk
Wydawca:: Katowice
Rok wydania:: 2017
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Logika intuicjonistyczna.
Intuicjonizm matematyczny.
Modalność (logika).
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Intuicjonizm matematyczny." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu