-
1
-
2
The meaning of proofs: mathematics as storytelling
Foilsithe / Cruthaithe 2022Faigh an téacs iomlán
Faigh an téacs iomlán
Electronic Resource -
3
-
4
-
5
-
6
-
7
Fundamental proof methods in computer science a computer-based approach
Foilsithe / Cruthaithe 2017LEABHAR -
8
Proof theory sequent calculi and related formalisms
Foilsithe / Cruthaithe 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
Foilsithe / Cruthaithe 2015LEABHAR -
10