CODE OF MATHEMATICS by Stefan Muller-Stach ( 9783662694824 ) - Books & Audio Books at Pickabook.co.uk

Item Details

Title:

CODE OF MATHEMATICS
PROOF AND TRUTH

By:

Stefan Muller-Stach

Format:

Paperback / softback

List price:

£44.99

Our price:

£39.37

Discount:

12.5% off

You save:

£5.62

ISBN 10:

3662694824

ISBN 13:

9783662694824

Availability:

Usually dispatched within 3-5 days.

Delivery rates

Stock:

Currently 2 available

Publisher:

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG

Pub. date:

5 September, 2024

Series:

Mathematics Study Resources

Pages:

238

Language:

English

Description:

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

Illustrations:

33 Illustrations, color; 12 Illustrations, black and white; XI, 238 p. 54 illus.

Returns:

Returnable

Some other items by this author:

ELEMENTARE UND ALGEBRAISCHE ZAHLENTHEORIE

PERIOD MAPPINGS AND PERIOD DOMAINS (HB)

PERIOD MAPPINGS AND PERIOD DOMAINS (PB)

PERIOD MAPPINGS PERIOD DOMAINS 2ED (HB)

PERIODS AND NORI MOTIVES (HB)

PERIODS AND NORI MOTIVES (PB)

RICHARD DEDEKIND (PB)

THE ARITHMETIC AND GEOMETRY OF ALGEBRAIC CYCLES (HB)

THE ARITHMETIC AND GEOMETRY OF ALGEBRAIC CYCLES (PB)

TRANSCENDENTAL ASPECTS OF ALGEBRAIC CYCLES (PB)

Information provided by www.pickabook.co.uk