0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

The Collected Works of J. Richard Buchi (Paperback, Softcover reprint of the original 1st ed. 1990) Loot Price: R1,724
Discovery Miles 17 240
The Collected Works of J. Richard Buchi (Paperback, Softcover reprint of the original 1st ed. 1990): Saunders MacLane

The Collected Works of J. Richard Buchi (Paperback, Softcover reprint of the original 1st ed. 1990)

Saunders MacLane; J.Richard Buchi; Edited by Dirk Siefkes

 (sign in to rate)
Loot Price R1,724 Discovery Miles 17 240 | Repayment Terms: R162 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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."

General

Imprint: Springer-Verlag New York
Country of origin: United States
Release date: November 2011
First published: 1990
Editors: Saunders MacLane
Authors: J.Richard Buchi
Editors: Dirk Siefkes
Dimensions: 235 x 155 x 36mm (L x W x T)
Format: Paperback
Pages: 696
Edition: Softcover reprint of the original 1st ed. 1990
ISBN-13: 978-1-4613-8930-9
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Promotions
LSN: 1-4613-8930-5
Barcode: 9781461389309

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,316 Discovery Miles 13 160
Principia Mathematica
Russell Bertrand Russell Hardcover R1,358 Discovery Miles 13 580
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,547 Discovery Miles 55 470
Michael Atiyah Collected works - Volume…
Michael Atiyah Hardcover R11,222 Discovery Miles 112 220
Michael Atiyah Collected Works - Volume…
Michael Atiyah Hardcover R9,602 Discovery Miles 96 020
Logic for Physicists
Nicolas A Pereyra Paperback R807 Discovery Miles 8 070
The Annotated Goedel - A Reader's Guide…
Hal Prince Hardcover R614 Discovery Miles 6 140
Primary Maths for Scotland Textbook 1C…
Craig Lowther, Antoinette Irwin, … Paperback R326 R276 Discovery Miles 2 760
The Maths That Made Us - how numbers…
Michael Brooks Paperback R315 R267 Discovery Miles 2 670
Elements of Geometry Upon the Inductive…
James Hayward Paperback R498 Discovery Miles 4 980
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R610 Discovery Miles 6 100
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R389 R328 Discovery Miles 3 280

See more

Partners