Buchportal für Bücher die eine ISBN tragen.

Reihe Trends in Logic

Springer Netherland ×Bücher ×

Buchcover Freedom and Enforcement in Action

Freedom and Enforcement in Action

A Study in Formal Action Theory

Janusz Czelakowski

Springer Netherland

Buchcover Advances in Natural Deduction

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Springer Netherland

Buchcover Freedom and Enforcement in Action

Freedom and Enforcement in Action

A Study in Formal Action Theory

Janusz Czelakowski

Springer Netherland

Buchcover Advances in Natural Deduction

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Springer Netherland

Buchcover Truth and Falsehood

Truth and Falsehood

An Inquiry into Generalized Logical Values

Yaroslav Shramko

Springer Netherland

Buchcover Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Springer Netherland

Buchcover Advanced Łukasiewicz calculus and MV-algebras

Advanced Łukasiewicz calculus and MV-algebras

Springer Netherland

Buchcover Paradoxes

Piotr Łukowski

Springer Netherland

Buchcover Methods of Cut-Elimination

Methods of Cut-Elimination

Springer Netherland

Buchcover Gentzen Calculi for Modal Propositional Logic

Gentzen Calculi for Modal Propositional Logic

Francesca Poggiolesi

Springer Netherland

73 Treffer 1 2 3 4 ...