Natural Deduction, Hybrid Systems and Modal Logics

Inbunden, Engelska, 2010

AvAndrzej Indrzejczak

3 109 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

3 109 kr

Skickas inom 10-15 vardagar

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.

Produktinformation

Utgivningsdatum2010-06-11
Mått155 x 235 x 35 mm
Vikt871 g
FormatInbunden
SpråkEngelska
SerieTrends in Logic
Antal sidor492
Upplaga2010
FörlagSpringer
ISBN9789048187843

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Filosofiska discipliner inom Filosofi och religion
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och it

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.