Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Intuitionistic Set Theory

John L Bell

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 08853916

Založba College Publications, februar 2014

While intuitionistic (or constructive) set theory IST has received a certain attention from mathemat... Celoten opis

Koda Libristo: 08853916

46 b

18.94 €

Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Model Theory Chen Chung Chang

Mehka

25.12 €

Invitation to Model Theory Jonathan (University of East Anglia) Kirby

Mehka

37.18 €

Kolik váží Matylda Jiří Holub

Trda

7.79 €

Mademoiselle Lenormand Gabriel Sanchez

Karte

30.29 €

Az edzés anatómiai kézikönyve Ashwell

Trda

13.98 €

Zwierzęta polski naklejki edukacyjne Opracowanie Zbiorowe

Mehka

2.22 €

Matematika 8 s nadhledem pracovní sešit Pavel Tlustý

Mehka

5.97 €

Finanční gramotnost pro první stupeň základní školy Petr Jakeš

Mehka

4.35 €

While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of Heyting-algebra-valued models, the natural extension to IST of the well-known Boolean-valued models for classical set theory. In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.