M. J. Cresswell

Publication Activity (10 Years)

Years Active: 1965-2016
Publications (10 Years): 1

Top Topics

Classical Logic

Sound And Complete Axiomatization

Logical Framework

Fixed Point Semantics

Top Venues

J. Philos. Log.

Publications