-
1
-
2
The meaning of proofs: mathematics as storytelling
Baskı/Yayın Bilgisi 2022Tam Metin Erişim
Tam Metin Erişim
Electronic Resource -
3
-
4
-
5
-
6
-
7
Fundamental proof methods in computer science a computer-based approach
Baskı/Yayın Bilgisi 2017Kitap -
8
Proof theory sequent calculi and related formalisms
Baskı/Yayın Bilgisi 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
Introduction to mathematical proof a transition to advanced mathematics
Baskı/Yayın Bilgisi 2015Kitap -
10