Metody logiki

Dedukcja

okładka / cover
Andrzej Indrzejczak
University of Łódź image/svg+xml , Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
Marek Nowak
University of Łódź image/svg+xml , Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Nauk
E-book (Polish)
ISBN-13 (15) 978-83-8088-360-4
Book (Polish)
ISBN-13 (15) 978-83-8088-359-8
DOI: https://doi.org/10.18778/8088-360-4
Keywords: teorie zbiorów, kwalifikatory, dedukcja naturalna, logika klasyczna
Published: 30 December 2016
Categories: History, Mathematics, Open Access

Downloads

E-book (Polish)

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.

Downloads
Download data is not yet available.
Copyright (c) 2016 © Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

How to Cite

Indrzejczak, A., & Nowak, M. (2016). Metody logiki: Dedukcja. Lodz University Press. https://doi.org/10.18778/8088-360-4