New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers

Name: New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers
Author: Peter B. M. Vranas

by Peter B. M. Vranas · 1 review · 2008

Reviewed by	Journal	Date	Access
Peter B. M. Vranas	Noûs	2008-11-27	Restricted