El. knyga: Logic Colloquium '85

Edited by Paris Logic Group

Formatas: PDF+DRM
Serija: Study in Logic & Mathematics
Išleidimo metai: 01-Jan-1987
Leidėjas: Elsevier Science Ltd
Kalba: eng
ISBN-13: 9780444535825

Kitos knygos pagal šią temą:

Philosophy: logic

Formatas - PDF+DRM
Kaina: 83,25 €*
* ši kaina yra galutinė, t.y. papildomos nuolaidos nebus taikomos
Įdėti į krepšelį
Įtraukti į pageidavimų sąrašą
Ši e-knyga skirta tik asmeniniam naudojimui. El. knygos nėra grąžinamos.

Formatas: PDF+DRM
Serija: Study in Logic & Mathematics
Išleidimo metai: 01-Jan-1987
Leidėjas: Elsevier Science Ltd
Kalba: eng
ISBN-13: 9780444535825

Kitos knygos pagal šią temą:

Philosophy: logic

DRM apribojimai

Kopijuoti:

neleidžiama
Spausdinti:

neleidžiama
El. knygos naudojimas:

Skaitmeninių teisių valdymas (DRM)
Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

Reikalinga programinė įranga
Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations.The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics.

Daugiau apie elektronines knygas