Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic, Construction, Computation

Language

English

Book Hardback

Libristo code: 12566198

Publishers De Gruyter, July 2012

Over the last few decades the interest of logicians and mathematicians in constructive and computati... Full description

Libristo code: 12566198

528 b

218.29 €

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Amerika, Američka Romek Hanzlík

binding.

3.53 €

68. Bulletin Moravské galerie v Brně (2012)

Paperback

20.93 €

Sind Sie Bereit ACTIVITY CRUSADES

Paperback

12.13 €

Motorlegenden - James Dean Siegfried Tesche

Hardback

28.92 €

C'era una volta... Il simbolismo nelle fiabe ovvero un percorso iniziatico attraverso il meraviglioso mondo dei racconti di fate Eugenio Lazzari

Paperback

20.93 €

Piccolo bestiario degli animali d'acqua. Stranezze e curiosità dal mondo acquatico Paolo De Piazzi

Hardback

40.25 €

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains. ctionals and domains.