Resultados de búsqueda

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 por Sørensen, Morten Heine

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

The nuts and bolts of proofs por Cupillari, Antonella

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

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

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

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

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

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

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

Perspectives in logic logical foundations of proof complexity / por 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 / por Zeraoulia, Elhadj

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

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

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

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

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

Ways of proof theory por 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 / por 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