Metody logiki

Dedukcja

okładka / cover
Andrzej Indrzejczak
Uniwersytet Łódzki image/svg+xml , Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
Marek Nowak
Uniwersytet Łódzki image/svg+xml , Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
E-book
ISBN-13 (15) 978-83-8088-360-4
Książka
ISBN-13 (15) 978-83-8088-359-8
DOI: https://doi.org/10.18778/8088-360-4
Słowa kluczowe: teorie zbiorów, kwalifikatory, dedukcja naturalna, logika klasyczna
Opublikowane: 30 grudnia 2016
Kategorie: Historia, Matematyka, Otwarty dostęp

Pliki do pobrania

E-book

Aczel P., Non-Well-Founded Sets, CSLI, Lecture Notes 14, Stanford 1988.

Beth E. W., The Foundations of Mathematics, North Holland, Amsterdam 1959

Borkowski L., J. Słupecki, ‘A Logical System based on rules and its applications in teaching Mathematical Logic‘, Studia Logica, 7: 71–113, 1958.

Borkowski L., Logika formalna, PWN, Warszawa 1970.

Borkowski L., Wprowadzenie do logiki i teorii mnogosci, Wyd. KUL, Lublin 1991.

Corcoran, J. ‘Aristotle’s Natural Deduction System‘, w: J. Corcoran (red.), Ancient Logic and its Modern Interpretations, Reidel, Dordrecht 1972.

Fraenkel A. A., Abstract Set Theory, North Holland, Amsterdam 1976.

Fraenkel A. A., J. Bar-Hillel, A. Levy, Foundations of set theory, North Holland, Amsterdam 1973.

Gentzen, G., ‘Untersuchungen über das Logische Schliessen‘, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934.

Grzegorczyk A., Zarys arytmetyki teoretycznej, PWN, Warszawa 1971.

Guzicki W., P. Zbierski, Podstawy teorii mnogości, PWN Warszawa 1978.

Indrzejczak A., Elementy logiki, wyd. WSHE, Łódz 2004.

Indrzejczak A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010.

Jaśkowski, S., ‘On the Rules of Suppositions in Formal Logic‘ Studia Logica 1:5–32, 1934.

Jech T. J., Lectures in set theory, Lectures Notes in Mathematics 217, Springer-Verlag 1971

Kuratowski K., A. Mostowski, Teoria mnogosci, PWN, Warszawa 1978

Malinowski, G., Logika ogólna, PWN, Warszawa 2010.

Morse A. P., A Theory Of Sets, Academic Press, Orlando 1986.

Nowak M., Elementy teorii mnogości w Mizarze, Łódź 1990.

Porębska M., W. Suchon, Elementarne wprowadzenie w logikę formalną, PWN, Warszawa 1991.

Schoenfield J. R., ‘Axioms of set theory‘, w: J. Barwise (red.) Handbook of Mathematical Logic, North Holland, Amsterdam 1977

Słupecki J., L. Borkowski, Elementy logiki matematycznej i teorii mnogosci, PWN, Warszawa 1984.

Takeuti G., W. M. Zaring, Introduction to Axiomatic Set Theory, Springer-Verlag, New York 1971.

Traczyk T., Wstep do teorii algebr Boole’a, PWN, Warszawa 1970.

Pobrania
Dane do pobrania nie są jeszcze dostępne.
Prawa autorskie (c) 2016 © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016

Licencja

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.

Jak cytować

Indrzejczak, A., & Nowak, M. (2016). Metody logiki: Dedukcja. Wydawnictwo Uniwersytetu Łódzkiego. https://doi.org/10.18778/8088-360-4