The seventeen provers of the world View on Open Library

The seventeen provers of the world

by Dana S. Scott

No reviews yet
First published: 2006 1 language ISBN: 3540307044
Subjects
Algebra Proof theory Data processing Computer programs Algebra, data processing

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Dana S. Scott

Data types as lattices

Data types as lattices

The lattice flow diagrams

The lattice flow diagrams

Outline of a mathematical theory of computation

Outline of a mathematical theory of comp...

Removal of phosphates and metals from sewage sludge

Removal of phosphates and metals from se...

Kurt Godel and the Foundations of Mathematics

Kurt Godel and the Foundations of Mathem...

Higher set theory

Higher set theory

You Might Also Like

More in Algebra
Elements

Elements

Euclid
Kokuritsu Kokkai Toshokan shozō Meijiki kankō tosho maikuro-ban shūsei

Kokuritsu Kokkai Toshokan shozō Meijiki ...

Kokuritsu Kokkai Toshokan (Japan)
Algèbre de la logique

Algèbre de la logique

Louis Couturat
Differentiating Instruction With Menus

Differentiating Instruction With Menus

Laurie E. Westphal
Linear algebra and its applications

Linear algebra and its applications

David C. Lay
Supplement

Supplement

Pearson