Temat: Teoria dowodu. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Teoriâ dokazatel'stv / G. Takeuti ; per. s. angl. S. K. Soboleva ; pod red. S. I. Adâna
Wydawca:: Moskva : Izdatel'stvo Mir
Rok wydania:: 1978
Temat:: Teoria dowodu - konferencje.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Proof theory / Gaisi Takeuti
Wydawca:: Amsterdam ; Oxford : North-Holland ; New York : American Elsevier
Rok wydania:: 1975
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 81
Temat:: Teoria dowodu - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

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

Tytuł pełny:: Charming proofs : a journey into elegant mathematics / Claudi Alsina, Roger B. Nelsen
Wydawca:: Washington : The Mathematical Association of America
Rok wydania:: cop. 2010
Seria:: The Dolciani Mathematical Expositions ; no. 42
Temat:: Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Mathematische Beweise / von Rüdiger Thiele
Wydawca:: Leipzig : BSB B. G. Teubner Verlagsgesellschaft
Rok wydania:: 1979
Seria:: Mathematische Schülerbücherei ; nr 99
Temat:: Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Proof theory : an introduction / Wolfram Pohlers
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1989
Seria:: Lecture Notes in Mathematics ; 1407
Temat:: Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: On local proof restrictions for strong theories / Don Jensen ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1973
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne ; 108
Temat:: Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Badania nad teorią dowodu = Recherches sur la theorie de la demonstration / J. Herbrand
Wydawca:: Warszawa : nakł. TNW : z zasiłku Ministerstwa Wyznań Religijnych i Oświecenia Publicznego
Rok wydania:: 1930
Seria:: Prace Towarzystwa Naukowego Warszawskiego. Wydział III Nauk Matematyczno-Fizycznych ; nr 33
Prace Towarzystwa Naukowego Warszawskiego. Wydział III: Nauk Matematyczno-Fizycznych
Temat:: Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: O dowodzie matematycznym / Witold A. Pogorzelski, Jerzy Słupecki
Wydawca:: Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
Wydanie:: Wyd. 2
Rok wydania:: 1970
Seria:: Biblioteczka Matematyczna PZWS i Czasopisma "Matematyka" ; 11
Temat:: Teoria dowodu.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Beweistheorie / von Kurt Schütte
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1960
Seria:: Grundlehren der Mathematischen Wissenschaften, 0072-7830 ; Bd. 103
Temat:: Teoria dowodu.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: O dowodzie matematycznym / Witold A. Pogorzelski, Jerzy Słupecki
Wydawca:: Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
Rok wydania:: 1962
Seria:: Biblioteczka Matematyczna PZWS i Czasopisma "Matematyka" ; 11
Temat:: Teoria dowodu.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Completeness properties of classical theories of finite type and the normal form theorem / Peter Päppinghaus ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1983
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 207
Temat:: Teoria modeli.
Teoria dowodu.

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:: 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 15.

Tytuł pełny:: Zum Beweisen im Mathematikunterricht / Werner Walsch
Wydawca:: Berlin : Volk und Wissen
Wydanie:: 2. Aufl
Rok wydania:: 1975
Temat:: Teoria dowodu.
Matematyka - studia i nauczanie.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan
Wydawca:: New York [etc.] : Springer
Rok wydania:: cop. 2010
Seria:: Undergraduate Texts in Mathematics, 0172-6056
Temat:: Teoria dowodu.
Matematyka - studia i nauczanie.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Algebra of proofs / M. E. Szabo
Wydawca:: Amsterdam [etc.] : North-Holland Publ
Rok wydania:: 1978
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 88
Temat:: Teoria dowodu.
Kategorie (matematyka).
Logika kombinatoryczna.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Osnovaniâ matematiki : teoriâ dokazatel'stv / D. Gil'bert, P. Bernajs
Wydawca:: Moskva : "Nauka" Glavnaâ Radakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1982
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Definiowalność (logika matematyczna).
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Teorja dowodu. T. 2 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J
Rok wydania:: 1929
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 2
Temat:: Logika matematyczna nieklasyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Issledovaniâ po teorii dokazatel'stv : sbornik statej / G. Krajzel' ; per. s ang. Û. A. Gasteva i G. E. Minca ; pod red. S. Û. Maslova
Wydawca:: Moskva : Izdatel'stvo "Mir"
Rok wydania:: 1981
Seria:: Matematika. Novoe v Zarubežnoj Nauke ; 23
Temat:: Teoria dowodu.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Analiza konstrukcji tekstu dowodu jako środka przekazu w matematyce / Jan Konior
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1983
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 611
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Handbook of proof theory / ed. by Samuel R. Buss
Wydawca:: Amsterdam : Elsevier
Rok wydania:: 1998
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 137
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox
Wydawca:: Amsterdam [etc.] : Elsevier Academic Press
Wydanie:: 2nd ed
Rok wydania:: cop. 2009
Temat:: Teoria dowodu.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

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

Tytuł pełny:: Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S. G. Sterrett
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: cop. 2014
Temat:: Teoria dowodu.
Funkcje obliczalne.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Dokazatel'stva i oproverženiâ : kak dokazyvaûtsâ teoremy / I. Lakatos ; perev. s anglijskogo I. N. Veselovskij ; Akademiâ Nauk SSSR
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Rok wydania:: 1967
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr
Wydawca:: Amsterdam : Mathematisch Centrum
Rok wydania:: 1976
Seria:: Mathematical Centre Tracts ; 70
Temat:: Języki programowania - semantyka.
Teoria dowodu.
Funkcje rekursywne.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Rachunki sekwentowe w logice klasycznej / Andrzej Indrzejczak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:: 2013
Temat:: Teoria dowodu.
Rachunek zdań.
Rachunek kwantyfikatorów.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Teorja dowodu. T. 1 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J., ([Kraków] : Drukarnia Uniwersytetu Jagiellońskiego pod zarządem Józefa Filipowskiego)
Rok wydania:: 1925
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 1
Temat:: Teoria dowodu.
Logika starożytna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: O pojęciu dowodu w matematyce / Krzysztof Wójtowicz ; Fundacja na Rzecz Nauki Polskiej
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2012
Seria:: Monografie FNP
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Dowód (filozofia).
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 447
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.
Rachunek kwantyfikatorów.
Teoria liczb.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz [et al.]
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1981
Seria:: Lecture Notes in Mathematics ; 897
Temat:: Indukcja (matematyka).
Teoria dowodu.
Podstawy analizy matematycznej.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Evidence, proof, and facts : a book of sources / ed. by Peter Francis Murphy
Wydawca:: Oxford ; New York : University of Oxford
Rok wydania:: 2003
Temat:: Ciężar dowodu.
Rachunek prawdopodobieństwa.
Dowód (prawo) - filozofia.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Teoria dowodu." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu