-
1
-
2
The meaning of proofs: mathematics as storytelling
Argitaratua 2022Testu osoa
Testu osoa
Electronic Resource -
3
-
4
-
5
-
6
-
7
-
8
Proof theory sequent calculi and related formalisms
Argitaratua 2015Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
Electronic Resource -
9
-
10