Concepts of proof in mathematics, philosophy, and computer science

Språk: Engelska
Publiceringsår: 2016
Klassifikation: Bevisteori och konstruktiv matematik

Finns som:

Vald medietyp: Bok (2016)

Utförlig information