-
1
-
2
The meaning of proofs: mathematics as storytelling
Izdano 2022Polni tekst
Polni tekst
Electronic Resource -
3
-
4
-
5
-
6
-
7
-
8
Proof theory sequent calculi and related formalisms
Izdano 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