Resultats de la cerca

Proof, logic, and formalization

An electronic book accessible through the World Wide Web; click to view

Logic for concurrency and synchronisation

An electronic book accessible through the World Wide Web; click to view

Lectures on the Curry-Howard isomorphism per Sørensen, Morten Heine

An electronic book accessible through the World Wide Web; click to view

The nuts and bolts of proofs per Cupillari, Antonella

An electronic book accessible through the World Wide Web; click to view

Memoirs of a proof theorist Gödel and other logicians / per Takeuti, Gaisi, 1926-

An electronic book accessible through the World Wide Web; click to view

Tracking reason proof, consequence, and truth / per Azzouni, Jody

An electronic book accessible through the World Wide Web; click to view

Conditional and preferential logics proof methods and theorem proving / per Pozzato, Gian Luca

An electronic book accessible through the World Wide Web; click to view

Perspectives in logic logical foundations of proof complexity / per Cook, Stephen, 1948-

An electronic book accessible through the World Wide Web; click to view

2-D quadratic maps and 3-D ODE systems a rigorous approach / per Zeraoulia, Elhadj

An electronic book accessible through the World Wide Web; click to view

Charming proofs a journey into elegant mathematics / per Alsina, Claudi

An electronic book accessible through the World Wide Web; click to view

Icons of mathematics an exploration of twenty key images / per Alsina, Claudi

An electronic book accessible through the World Wide Web; click to view

Ways of proof theory per Schindler, Ralf

An electronic book accessible through the World Wide Web; click to view

The elementary theory of groups : a guide through the proofs of the Tarski conjectures / per Fine, Benjamin, 1948-

An electronic book accessible through the World Wide Web; click to view

Concepts of proof in mathematics, philosophy, and computer science /

An electronic book accessible through the World Wide Web; click to view