Related online material
My books
- Carnap, R., Introduction to Symbolic Logic and its Applications, Translated by William H. Meyer and John Wilkinson, Dover Publications, Inc., New York, 1958 (1954), ISBN 0-486-60453-5.
- Curry, H. B., Foundations of Mathematical Logic, Dover Publications, Inc., New York, 1977 (1963), ISBN 0-486-63462-0.
- Gödel, K., On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Publications, Inc., New York, 1992 (1931, 1962), ISBN 0-486-66980-7.
- Hamilton, A. G., Logic for Mathematicians, Cambridge University Press, Cambridge, 1978, ISBN 0-521-29291-3.
- Kosko, B., Fuzzy Thinking: The New Science of Fuzzy Logic, Harper Collins Publishers, London, 1994, ISBN 0-00-654713-3.
- Lambek, J., Scott, P. J., Introduction to higher order categorical logic, Cambridge studies in advanced mathematics, No. 7, Cambridge University Press, Cambridge, 1988 (1986), ISBN 0-521-35653-9.
- Schock, R., New Foundations for Concept Theory, Library of Theoria, CWK Gleerup, Lund, Almqvist & Wiksells Boktryckeri AB, Uppsala, 1969.
- Tarski, A., Introduction to Logic and to the Methodology of Deductive Sciences, Second Revised Edition, Dover Publications, Inc., New York, Ninth Printing, 1995 (1941, 1946, 1965), ISBN