PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION - MAINZER KLAUS ET AL

Business Listing - October 16, 2023

PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 27-Jul-21 ONLINE RELEASE DATE : 30-Jul-21 Print ISBN 13 : 9789811236471 US$ (Print) : 148 EISBN 13 : 9789811236488 US$ (Ebook) : 237 £ (Ebook) : 220 SUBJECT : MATHEMATICS SUB SUBJECT : MATHEMATICAL LOGIC AND FOUNDATIONS IMPRINT : WSPC Package : WSPC Collection Year : 2021 URL : https://www.worldscientific.com/worldscibooks/10.1142/12263#t=toc BOOK TYPE : REVIEW VOLUME PP : 424 BOOK CODE : 12263  

Featured

This is a premium business listing. Stand out from the competition!

Own a Business?

List your company and reach more customers today.

Add Your Business