-
101
-
102
Dynamic formal epistemology
Published 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
103
Games, norms and reasons logic at the crossroads
Published 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
104
Treatise on intuitionistic type theory
Published 2011Available for UP System via Springer Link.
Electronic Resource -
105
-
106
-
107
-
108
-
109
-
110
Hybrid logic and its proof-theory
Published 2011Available for UP System via SpringerLink.
Electronic Resource


