Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic, Construction, Computation

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 12566198

Založba De Gruyter, julij 2012

Over the last few decades the interest of logicians and mathematicians in constructive and computati... Celoten opis

Koda Libristo: 12566198

500 b

207.11 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Amerika, Američka Romek Hanzlík

binding.

3.13 €

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

Mehka

18.52 €

Sind Sie Bereit ACTIVITY CRUSADES

Mehka

11.33 €

Motorlegenden - James Dean Siegfried Tesche

Trda

25.82 €

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

Mehka

18.93 €

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

Trda

37.97 €

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.