検索結果

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 著者: Sørensen, Morten Heine

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

The nuts and bolts of proofs 著者: Cupillari, Antonella

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

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

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

Tracking reason proof, consequence, and truth / 著者: Azzouni, Jody

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

Conditional and preferential logics proof methods and theorem proving / 著者: Pozzato, Gian Luca

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

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

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

Charming proofs a journey into elegant mathematics / 著者: Alsina, Claudi

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

Icons of mathematics an exploration of twenty key images / 著者: Alsina, Claudi

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

Ways of proof theory 著者: 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 / 著者: 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