Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Description

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

Similar Books


ISBN 10: 9811214301
ISBN 13: 9789811214301

25 Nov 2020
Mark Burgin

ISBN 10: 0465026567
ISBN 13: 9780465026562

21 Sep 2011
Douglas R. Hofstadter

ISBN 10: 0198811705
ISBN 13: 9780198811701

05 Feb 2018
Graham Priest

ISBN 10: 0008491070
ISBN 13: 9780008491079

28 Oct 2021
Rachel Riley

ISBN 10: 0241378885
ISBN 13: 9780241378885

01 Mar 2019
Sony Pictures Television UK Rights Ltd

ISBN 10: 0718185544
ISBN 13: 9780718185541

01 Mar 2019
GCHQ

ISBN 10: 0241365430
ISBN 13: 9780241365434

27 Nov 2018
GCHQ

ISBN 10: 331968731X
ISBN 13: 9783319687315

22 Jan 2018
Melvin Fitting

ISBN 10: 1783352183
ISBN 13: 9781783352180

05 Nov 2020
Alex Bellos

ISBN 10: 0814758371
ISBN 13: 9780814758373

01 Oct 2008
Ernest Nagel

ISBN 10: 0486481980
ISBN 13: 9780486481982

28 Oct 2011
Raymond M. Smullyan

ISBN 10: 069116407X
ISBN 13: 9780691164076

10 Nov 2014
G. Polya