Proofs and ComputationsHelmut Schwichtenberg

Proofs and Computations

Helmut Schwichtenberg, Stanley S. Wainer · 2012

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2012
Language: English
Publisher: Cambridge University Press
Editions: 5
Pages: 482
ISBN: 9781280484858

Data source: Wikidata

More by Helmut Schwichtenberg

Computer science logicHelmut Schwichtenberg

Computer science logic

Helmut Schwichtenberg · 2000

Logic of ComputationHelmut Schwichtenberg

Logic of Computation

Helmut Schwichtenberg · 1997

Proof and ComputationHelmut Schwichtenberg

Proof and Computation

Helmut Schwichtenberg · 2018

Proof and System-ReliabilityHelmut Schwichtenberg

Proof and System-Reliability

Helmut Schwichtenberg · 2012

Proofs and Computations (Perspectives in Logic)Helmut Schwichtenberg

Proofs and Computations (Perspectives in Logic)

Helmut Schwichtenberg · 2012