Liknande böcker

Advances In Modal Logic, Volume 3
Bok av De Rijke Maarten De Rijke
Temporal logic : mathematical foundations and computational aspects
Bok av Dov M. Gabbay
Goal-based Reasoning for Argumentation
Bok av Douglas Walton
Logics of Time and Computation
Bok av Robert Goldblatt
Handbook of Logic in Artificial Intelligence and Logic Programming: Volu...
Bok av Dov M. (EDT) Gabbay Christopher John (EDT) Hogger J. A. (EDT) Robinson
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Sketches of an elephant : a topos theory compendium
Bok av Peter T. Johnstone
Many
Bok av A. Kurucz och F. Wolter m.fl.

Labelled Deductive Systems

Bok av Dov M. Gabbay