Proof, Logic and FormalizationMichael Detlefsen

Proof, Logic and Formalization

Michael Detlefsen · 2005

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2005
Language: English
Publisher: Taylor & Francis Group
Editions: 8
Pages: 256
ISBN: 9781134975280

Data source: Wikidata

More by Michael Detlefsen

Proof and Knowledge in MathematicsMichael Detlefsen

Proof and Knowledge in Mathematics

Michael Detlefsen · 2014

Ideaux de PreuvesMichael Detlefsen

Ideaux de Preuves

Michael Detlefsen · 2024