An edition of Proof and Computation II (2021)

Proof and Computation II

From Proof Theory and Univalent Mathematics to Program Extraction and Verification

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Proof and Computation II
Klaus Mainzer, Peter Schuster, ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 17, 2023 | History
Edit
An edition of Proof and Computation II (2021)

Proof and Computation II

From Proof Theory and Univalent Mathematics to Program Extraction and Verification

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
World Scientific Publishing Co Pte Ltd
Language
English

Check nearby libraries

Buy this book

Subjects
Mathematics

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Proof and Computation II
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
2021, World Scientific Publishing Co Pte Ltd
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
QA76.95.P7662 2021

The Physical Object

Weight
0.001

ID Numbers

Open Library
OL49262975M
ISBN 13
9789811236471

Source records

Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 17, 2023 Created by ImportBot import new book