Liknande böcker

Goal-based Reasoning for Argumentation
Bok av Douglas Walton
Labelled Deductive Systems
Bok av Dov M. Gabbay
Advances In Modal Logic, Volume 3
Bok av De Rijke Maarten De Rijke
Temporal logic : from ancient ideas to artificial intelligence
Bok av Peter. Øhrstrøm
Logic, Meaning and Computation : Essays in Memory of Alonzo Church
Bok av C Anthony Andersen
Freedom and Enforcement in Action : A Study in Formal Action Theory
Bok av Janusz Czelakowski
Recursion Theory for Metamathematics
Bok av Raymond M. Smullyan
Introduction to Substructural Logics
Bok av Greg Restall

Logics of Time and Computation

Bok av Robert Goldblatt