Andrzej Indrzejczak is professor of logic and Head of the Department of General Methodology at the University of Lodz, Poland. His scientific interests include the proof theory for non-classical logics, the philosophy of logic and the methodology of science. He is the author of three books and numerous papers concerned mainly with the investigation of proof techniques for non-classical logics, published e.g. in Bulletin of the Section of Logic, Logic Journal of the IGPL, Logic and Logical Philosophy, Logica Trianguli, and Studia Logica.
2 Ebooks oleh Andrzej Indrzejczak
Andrzej Indrzejczak: Natural Deduction, Hybrid Systems and Modal Logics
A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion of …
PDF
Inggris
€234.33
Andrzej Indrzejczak: Sequents and Trees
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on …
EPUB
Inggris
DRM
€56.39
