Introduction to mathematical proof a transition to advanced mathematics di Roberts, Charles E., Jr

Burden of proof, presumption and argumentation di Walton, Douglas N.

Cover image

Understanding mathematical proof di Taylor, John 1957-, Garnier, Rowan

Three views of logic mathematics, philosophy, and computer science di Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Table of contents only

The nuts and bolts of proofs an introduction to mathematical proofs di Cupillari, Antonella

Proofs and computations di Schwichtenberg, Helmut 1942-

Table of contents only

Hybrid logic and its proof-theory di Braüner, Torben

Available for UP System via SpringerLink.

Proofs and fundamentals a first course in abstract mathematics di Bloch, Ethan D. 1956-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Methods of cut-elimination di Baaz, Matthias

Available for University of the Philippines Diliman via SpringerLink. Click here to access

The proof is in the pudding the changing nature of mathematical proof di Krantz, Steven G. (Steven George) 1951-

Available for UP System via Springer Link.