Logic, Construction, Computation - Ontos Mathematical Logic - - Books - De Gruyter - 9783110324532 - July 20, 2012
In case cover and title do not match, the title is correct

Logic, Construction, Computation - Ontos Mathematical Logic

Price
HK$ 1,755
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 20, 2012
ISBN13 9783110324532
Publishers De Gruyter
Pages 542
Dimensions 150 × 220 × 20 mm   ·   826 g
Language German  
Editor Berger, Ulrich
Editor Diener, Hannes
Editor Schuster, Peter
Editor Seisenberger, Monika

Mere med samme udgiver