Author: Uspensky, Vladimir (Department of Mathematical Logic, Faculty of Mechanics and Mathematics, Moscow Lomonosov University, Russia); Author: Semenov, Alexei (Department of Mathematical Logic, Faculty of Mechanics and Mathematics, Moscow Lomonosov University, Russia)
Hardback; Book; References, Index
288 pages
Published: June 1993
Kluwer Academic Publishers Group
ISBN: 079232210X
This item non-returnable. Order may not be canceled.

Presents exact mathematical formulations of major concepts and facts of the theory of algorithms in a unified way. Precise mathematical statements are given, together with their underlying motivations, philosophical interpretations and historical developments, starting with Frege, Hilbert and Borel