Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Intuitionistic Set Theory

John L Bell

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 08853916

Nakladateľstvo College Publications, február 2014

While intuitionistic (or constructive) set theory IST has received a certain attention from mathemat... Celý popis

Libristo kód: 08853916

46 b

18.91 €

Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

37.11 €

Model Theory Chen Chung Chang

Brožovaná

25.08 €

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

Brožovaná

4.24 €

Mademoiselle Lenormand Gabriel Sanchez

Karty

33.27 €

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

Pevná

16.07 €

Zwierzęta polski naklejki edukacyjne Opracowanie Zbiorowe

Brožovaná

2.52 €

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

Brožovaná

5.76 €

Kolik váží Matylda Jiří Holub

Pevná

11.12 €

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.