KSIĄŻKA

Metody logiki - Marek Nowak, Andrzej Indrzejczak Metody logiki - Marek Nowak, Andrzej Indrzejczak

Artykuł niedostępny

KSIĄŻKA

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) - Andrzej Indrzejczak Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) - Andrzej Indrzejczak

Artykuł niedostępny