Atjaunināt sīkdatņu piekrišanu

E-grāmata: Proceedings Of The 10th Asian Logic Conference

Edited by (Nus, S'pore), Edited by (Japan Advanced Inst Of Sci & Tech, Japan), Edited by (Kobe Univ, Japan), Edited by (Chiba Univ, Japan), Edited by (Kobe University, Japan), Edited by (Victoria Univ Of Wellington, New Zealand), Edited by (Chinese Academy Of Sciences, China)
  • Formāts: 404 pages
  • Izdošanas datums: 01-Dec-2009
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • Valoda: eng
  • ISBN-13: 9789814465960
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 54,10 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Bibliotēkām
  • Formāts: 404 pages
  • Izdošanas datums: 01-Dec-2009
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • Valoda: eng
  • ISBN-13: 9789814465960
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.This volume contains papers from the 10th meeting held in Kobe, Japan.
Preface v
An Application of Nonstandard Arguments to the Study of Generic Structures
1(18)
Y. Anbo
Constructive Geometry
19(66)
M. Beeson
A Separation Result for Varieties of Brouwer's Fan Theorem
85(8)
J. Berger
A Term-Rewriting Characterization of PSPACE
93(20)
N. Eguchi
I-ultrafilters and Summable Ideals
113(11)
J. Flaskova
Lowness and Highness Properties for Randomness Notions
124(28)
J. Franklin
Countable Borel Equivalence Relations, Borel Reducibility, and Orbit Equivalence
152(62)
G. Hjorth
A Remark on Generic Structures and the Number of Countable Models
214(13)
K. Ikeda
Geometric Simplicity Theory
227(36)
B. Kim
Weak Weak Konig's Lemma in Constructive Reverse Mathematics
263(8)
T. Nemoto
On Preservation and Reflection of Stationary Subsets of κλ When cf(λ) < κ
271(29)
H. Sakai
Turing Degrees and the Ershov Hierarchy
300(22)
F. Stephan
Y. Yang
L. Yu
Weak Randomness, Genericity and Boolean Decision Trees
322(23)
T. Suzuki
M. Kumabe
A Note on Multiple Inductive Definitions
345(8)
K. Tanaka
Isolation in the d.c.e. Degrees
353(22)
G. Wu
On II11 Conservativity for II12 Theories in Second Order Arithmetic
375(12)
K. Yokoyama
Around Rosy CM-Trivial Theories
387
I. Yoneda