1. Home
  2. PROOF AND COMPUTATION II
  • #

PROOF AND COMPUTATION II

154.49 EUR 144.73 EUR 6% Off

Teilen:
Gesponsert

Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

averdo DE
144.73 EUR
24-11-2024 13:45:22
Gesponsert

PROOF AND COMPUTATION II

Hugendubel
154.49 EUR
24-09-2024 12:09:41

Ä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
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
Proof, Computation and Agency: Logic at the Crossroads

Proof, Computation and Agency: Logic at the Crossroads

160.49 EUR