Andrzej Indrzejczak – författare
Visar alla böcker från författaren Andrzej Indrzejczak. Handla med fri frakt och snabb leverans.
6 produkter
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Inbunden, 2020
716 kr
Lägg i varukorg
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 illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The …
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
E-bok, 2020
734 kr
Lägg i varukorg
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 illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The …
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Häftad, 2021
551 kr
Lägg i varukorg
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 illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The …
Natural Deduction, Hybrid Systems and Modal Logics
Inbunden, 2010
2515 kr
Lägg i varukorg
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 natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly …
Natural Deduction, Hybrid Systems and Modal Logics
E-bok, 2010
3251 kr
Lägg i varukorg
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 natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly …
Natural Deduction, Hybrid Systems and Modal Logics
Häftad, 2012
2515 kr
Lägg i varukorg
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 natural deduction or modal logic are rather well known, but the notion of “hybrid system” certainly …
