proofs

Euclid's Elements of Geometry

Euclid,J.L. Heiberg,Richard Fitzpatrick

A Course in Combinatorics and Graphs

Simeon Ball,Oriol Serra

Mathematics of discrete structures for computer science

Gordon J. Pace

Discrete Mathematics: Elementary and Beyond (Undergraduate Texts in Mathematics)

László Lovász,József Pelikán,Katalin Vesztergombi

Gentle Introduction to the Art of Mathematics

Joseph Fields

Mathematical Logic

Simpson S.G.

An Illustrated Theory of Numbers

Martin H. Weissman

A Mathematical Introduction to Logic, Second Edition

Herbert Enderton,Herbert B. Enderton

How to Prove It: A Structured Approach

Velleman D. J.

How to Prove It: A Structured Approach, Third Edition [3rd Ed] (Instructor's Solution Manual, Solutions)

Daniel J Velleman

Book of proof

Richard Hammack

Book of Proof (Edition 3.2)

Richard Hammack

Mathematical Proofs: A Transition to Advanced Mathematics

Gary Chartrand,Albert D. Polimeni,Ping Zhang

A Transition to Advanced Mathematics: A Survey Course

William Johnston,Alex McAllister

A Transition to Advanced Mathematics

Doug Smith,Maurice Eggen,Richard St. Andre

Bulletin of Symbolic Logic

Review by: Carlos Augusto Di Prisco

Bulletin of Symbolic Logic

Prisco, Carlos Augusto Di

Journal of Symbolic Logic

Normann, Dag

Bulletin of Symbolic Logic

Dzhafarov, Damir D.

Journal of Symbolic Logic

Shepherdson, J. C.

Bulletin of Symbolic Logic

Urquhart, Alasdair

Journal of Symbolic Logic

Aberth, Oliver

Journal of Symbolic Logic

Crossley, John N.; Hodges, Andrew; Herken, Rolf; Kleene, Stephen C.; Gandy, Robin; Feferman, Solomon;[...]Davis, Martin; Phillips, Esther R.

Journal of Symbolic Logic

Review by: J. C. Shepherdson

Bulletin of Symbolic Logic

Urquhart, Alasdair

Bulletin of Symbolic Logic

Oxford Texts in Logic, Volume 1

Shawn Hedman

Mathematical Logic Quarterly

William Gay; Bing-Yu Zhang; Ning Zhong

Annals of Pure and Applied Logic

Bakhadyr Khoussainov

Algebra and Logic

N. V. Belyakin

Annals of Pure and Applied Logic

Fernando Ferreira; Martin Hyland; Benedikt Löwe; Elvira Mayordomo

Annals of Pure and Applied Logic

Martin Ziegler

Mathematics

Soleymani, Fazlollah ;Masnavi, Houman ;Shateyi, Stanford

Classics in Mathematics

Herbert Federer (auth.), Prof. Dr. B. Eckmann, Prof. Dr. B. L. van der Waerden (eds.)

Mathematical Thinking and Writing: A Transition to Higher Mathematics

Maddox R.

Mathematical Thinking and Writing: A Transition to Higher Mathematics

Randall Maddox

Transition to Higher Mathematics

Bob Dumas and John E. McCarthy

Journal of Symbolic Logic

Pitts, Andrew M.

Journal of Symbolic Logic

Pitts, Andrew M.

Journal of Symbolic Logic

Pitts, Andrew M.