Explore Books on
bewijstheorie

Intuitions as evidence

By Joel Pust

Inexhaustibility

By Torkel Franzén,Torkel Franzen,T. Franze

Rewriting techniques and applications

By International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark)

Rewriting Techniques and Applications

By Jean-Pierre Jouannaud

Reflections on the foundations of mathematics

By Solomon Feferman,Wilfried Sieg,Carolyn L. Talcott

100% mathematical proof

By Rowan Garnier

Aspects of incompleteness

By Lindström, Per

Mechanizing Proof

By Donald MacKenzie

Mathematical Analysis and Proof (Albion Mathematics & Applications Series)

By David S. G. Stirling

Numbers and proofs

By R. B. J. T. Allenby

Proof and computation

By North Atlantic Treaty Organization

The power of interaction

By Carsten Lund

Provability, complexity, grammars

By Lev Dmitrievich Beklemishev

Proof and knowledge in mathematics

By Michael Detlefsen

Proof, logic, and formalization

By Michael Detlefsen

Untersuchungen zur Logik der Gegenwart

By Wilhelm Koppelmann

Rewriting techniques and applications

By Pierre Lescanne