‎Phaidon Editors‎
‎Tree‎

‎Decidability of Second-Order Theories and Automata on Infinite Trees. - [THE INFINITE TREE AUTOMATON]‎

‎Providence, Rhode Island, The American Mathematical Society, 1969. Royal8vo. In the original blue printed wrappers. In ""Transactions of the American Mathematical Society"", Volume 141, July, 1969. Entire issue offered. Spine faded and a few bumps to extremities, otherwise fine and clean. Pp. 1-35. [Entire volume: (4), 527 pp.].‎

‎First printing of Rabin's landmark paper in which he introduced his infinite tree automaton" a state machine that deals with infinite tree structure. It can be viewed as an extension from a finite tree automaton, which accepts only finite tree structures. Here he proved that the second-order theory of n successors is decidable A key component of the proof implicitly showed determinacy of parity games, which lie in the third level of the Borel hierarchy.It was used by Rabin for proving decidability of monadic second order logic. It has been further observed that tree automaton and logical theories are closely connected and it allows decision problems in logic to be reduced into decision problems for automaton.‎

‎Tree Houses. 40th Ed.‎

‎, Taschen, 2024 Hardcover 15.6 x 21.7 cm, 1.11 kg, 512 pages Illustrated. English, French, German. ISBN 9783836593397.‎

‎The essential book for admirers of arboreal ateliers everywhere, this whimsical collection showcases 48 of the finest tree houses around the world. Whether serving as a lofty eyrie for childhood adventures or a unique luxury hotel amid the branches, these are some of the most fantastic human roosts in the sky. The idea of climbing a tree for shelter, or just to see the earth from another perspective, is as old as humanity. In this neat TASCHEN edition, take a tour of some of our finest arboreal adventures with the most beautiful, inventive, and enchanting tree houses around the world. From romantic to contemporary, from famed architects to little-known craftsmen, you?ll scale the heights to visit all manner of treetop structures, from a teahouse, restaurant, hotel, and children?s playhouse to simple perches from which to contemplate life, enjoy the view, and discover that tree houses take as many forms as the imagination can offer. With an abundance of gorgeous photographs and illustrations, this is an ode to alternative living, where playful imagination meets eco-sensitive finesse.‎

‎Sharlyn Hidalgo. Celtic Tree Oracle. Oracle Celtic Tree In Russian (ask us if in‎

‎Sharlyn Hidalgo. Celtic Tree Oracle. Oracle Celtic Tree In Russian (ask us if in doubt)/Sharlyn Hidalgo. Celtic Tree Oracle. Orakul Keltskoe derevo. In modern magic the Ogam Oracle has become a full-fledged oracle. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalb708a5b343b0814da‎

‎How to arrange a cheap Christmas tree. Homemade Christmas tree decorations. In R‎

‎How to arrange a cheap Christmas tree. Homemade Christmas tree decorations. In Russian (ask us if in doubt)/Kak ustroit deshevuyu elku. Samodelnye elochnye ukrasheniya.Compiled by Uncle Khm. M. Edition by T-v Sytin I. D. 1909.34 p. Encyclopedic format. 21x28 sm. We have thousands of titles and often several copies of each title may be available. Please feel free to contact us for a detailed description of the copies available. SKUalb85a7a3b4f1083ebf‎

‎Pazukhin A. A. The family tree of the Pazukhins and the family tree of the Pazuk‎

‎Pazukhin A. A. The family tree of the Pazukhins and the family tree of the Pazukhin archive. In Russian (ask us if in doubt)/Pazukhin A. A. Rodoslovnaya Pazukhinykh i rodoslovnye materialy pazukhinskogo arkhiva. St. Petersburg: Typography of Imperial Nikolaev Military Academy 1914. 2 92 c. SKUalb5d82518c3e9c7083.‎