"synopsis" may belong to another edition of this title.
Book Description Soft Cover. Condition: new. Seller Inventory # 9781461389309
Book Description Condition: New. Seller Inventory # ABLIING23Mar2716030034705
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781461389309_lsuk
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition. Seller Inventory # bk1461389305xvz189zvxnew
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published. Seller Inventory # 353-1461389305-new
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781461389309
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier 'theoretical,' because he more or less identified science and theory, using 'theory' in a broader sense and 'science' in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story. 716 pp. Englisch. Seller Inventory # 9781461389309
Book Description Paperback. Condition: Brand New. reprint edition. 712 pages. 9.25x6.10x1.50 inches. In Stock. Seller Inventory # x-1461389305
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier 'theoretical,' because he more or less identified science and theory, using 'theory' in a broader sense and 'science' in a narrower sense than usual.) We are happy to present here this collection of his papers. I (DS)1 worked with Biichi for many years, on and off, ever since I did my Ph.D. thesis on his Sequential Calculus. His way was to travel locally, not globally: When we met we would try some specific problem, but rarely dis cussed research we had done or might do. After he died in April 1984 I sifted through the manuscripts and notes left behind and was dumbfounded to see what areas he had been in. Essentially I knew about his work in finite au tomata, monadic second-order theories, and computability. But here were at least four layers on his writing desk, and evidently he had been working on them all in parallel. I am sure that many people who knew Biichi would tell an analogous story. Seller Inventory # 9781461389309
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier theoretical, because he more or less identified science and theory, using theory in a broader s. Seller Inventory # 4196418