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