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

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ę "Intuicjonizm matematyczny - konferencje." wg kryterium: Temat

Źródło danych

Wyświetlanie 1-4 z 4

Zaznacz stronę

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

Wyświetlanie 1-4 z 4

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.