1. Home
  2. Medien
  3. Bücher
  4. Computation, Proof, Machine: Mathematics Enters a New Age
  • #
  • #

Computation, Proof, Machine: Mathematics Enters a New Age

107.30 EUR

Teilen:
Gesponsert

Computation, Proof, Machine: Mathematics Enters a New Age

Medimops DE
107.30 EUR
23-04-2026 07:17:10

Ähnliche Produkte

The Dynamics of Judicial Proof

The Dynamics of Judicial Proof

213.99 EUR
Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation: Interactive Proof with Cambridge LCF

69.70 EUR
Proofs and Computations (Perspectives in Logic)

Proofs and Computations (Perspectives in Logic)

97.90 EUR
Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

160.49 EUR
Computation Proof Machine

Computation Proof Machine

36.49 EUR
Proceedings of the Logic Colloquium. Held in Aachen July 18-23 1983

Proceedings of the Logic Colloquium. Held in Aachen July 18-23 1983

48.10 EUR
Proof and Computation

Proof and Computation

106.99 EUR
The Dynamics of Judicial Proof

The Dynamics of Judicial Proof

213.99 EUR