Buchportal für Bücher die eine ISBN tragen.

Reihe Ontos Mathematical Logic

Buchcover Concepts of Proof in Mathematics, Philosophy, and Computer Science

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Walter de Gruyter

Buchcover Logic Without Borders

Logic Without Borders

Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Walter de Gruyter

Buchcover Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

Walter de Gruyter

Buchcover Logic, Construction, Computation

Logic, Construction, Computation

Buchcover Ways of Proof Theory

Ways of Proof Theory

Buchcover Church's Thesis After 70 Years

Church's Thesis After 70 Years