-
11
-
12
-
13
-
14
-
15
-
16
-
17
Hybrid logic and its proof-theory
Published 2011Available for UP System via SpringerLink.
Electronic Resource -
18
-
19
Methods of cut-elimination
Published 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
20
The proof is in the pudding the changing nature of mathematical proof
Published 2011Available for UP System via Springer Link.
Electronic Resource


