Atjaunināt sīkdatņu piekrišanu

Proceedings Of The 12th Asian Logic Conference [Hardback]

Edited by (Yonsei Univ, South Korea), Edited by (Victoria Univ Of Wellington, New Zealand), Edited by (Victoria Univ Of Wellington, New Zealand), Edited by (Kobe University, Japan)
  • Formāts: Hardback, 348 pages
  • Izdošanas datums: 28-Jun-2013
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814449261
  • ISBN-13: 9789814449267
Citas grāmatas par šo tēmu:
  • Hardback
  • Cena: 152,25 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Bibliotēkām
Proceedings Of The 12th Asian Logic ConferencePalielināt
  • Formāts: Hardback, 348 pages
  • Izdošanas datums: 28-Jun-2013
  • Izdevniecība: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9814449261
  • ISBN-13: 9789814449267
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9789814449267.html
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.
Preface v
Resolute Sequences in Initial Segment Complexity
1(23)
G. Barmpalias
R. G. Downey
Approximating Functions and Measuring Distance on a Graph
24(29)
W. Calvert
R. Miller
J. Chubb Reimann
Carnap and McKinsey: Topics in the Pre-History of Possible-Worlds Semantics
53(23)
M. J. Cresswell
Limits to Joining with Generics and Randoms
76(13)
A. R. Day
D. D. Dzhafarov
Freedom & Consistency
89(26)
M. Detlefsen
A van Lambalgen Theorem for Demuth Randomness
115(10)
D. Diamondstone
N. Greenberg
D. Turetsky
Faithful Representations of Polishable Ideals
125(19)
S. Gao
Further Thoughts on Definability in the Urysohn Sphere
144(11)
I. Goldbring
Simple Completeness Proofs for Some Spatial Logics of the Real Line
155(23)
I. Hodkinson
On a Question of Csima on Computation-Time Domination
178(7)
X. Hua
J. Liu
G. Wu
A Generalization of Beth Model to Functionals of High Types
185(25)
F. Kachapova
A Computational Framework for the Study of Partition Functions and Graph Polynomials
210(21)
T. Kotek
J. A. Makowsky
E. V. Ravve
Relation Algebras and R
231(20)
T. Kowalski
Van Lambalgen's Theorem for Uniformly Relative Schnorr and Computable Randomness
251(20)
K. Miyabe
J. Rute
Computational Aspects of the Hyperimmune-Free Degrees
271(14)
K. M. Ng
F. Stephan
Y. Yang
L. Yu
Calibrating the Complexity of Δ°2 Sets via Their Changes
285(13)
A. Nies
Topological Full Groups of Minimal Subshifts and Just-Infinite Groups
298(16)
S. Thomas
TW-Models for Logic of Knowledge-cum-Belief
314
S. C.-M. Yang