-
1
-
2
The meaning of proofs: mathematics as storytelling
יצא לאור 2022קבל טקסט מלא
קבל טקסט מלא
Electronic Resource -
3
-
4
-
5
-
6
-
7
-
8
Proof theory sequent calculi and related formalisms
יצא לאור 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