Upload File

Download - HANDBOOK OF RECURSIVE MATHEMATICS - nsu.ru · Handbook of Recursive Mathematics Volume 2, Recursive Algebra, Analysis and Combinatorics Edited by Yu. L. ERSHOV S.S. GONCHAROV A. NERODE

Transcript
Page 1: HANDBOOK OF RECURSIVE MATHEMATICS - nsu.ru · Handbook of Recursive Mathematics Volume 2, Recursive Algebra, Analysis and Combinatorics Edited by Yu. L. ERSHOV S.S. GONCHAROV A. NERODE

HANDBOOK OF RECURSIVE MATHEMATICSEdited by Y.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel, V.W. MarekVolume 1: Recursive Model Theory (ISBN: 0-444-50003-0, 664 pages, 1998)Volume 2: Recursive Algebra, Analysis and Combinatorics ( ISBN: 0-444-50106-1, 798 pages, 1998)Elsevier, NORTH-HOLLANDhttp://www.elsevier.com/wps/find/bookdescription.cws_home/620044/description#description

Computability and Models Perspectives East and WestSeries: University Series in Mathematics Cooper, S. Barry; Goncharov, Sergei S. (Eds.) Sprineger, 2002, 388 p., Hardcover ISBN: 978-0-306-47400-2http://www.springer.com/math/book/978-0-306-47400-2

Mathematical Problems from Applied Logic I Logics for the XXIst CenturyGabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael (Eds.) Series: International Mathematical Series , Vol. 4 Springer, 2006, 348 p. 50 illus., Hardcover ISBN: 978-0-387-28688-4http://www.springer.com/math/book/978-0-387-28688-4

http://www.springer.com/math/book/978-0-306-47400-2
http://www.elsevier.com/wps/find/bookdescription.cws_home/620044/description#description
Page 2: HANDBOOK OF RECURSIVE MATHEMATICS - nsu.ru · Handbook of Recursive Mathematics Volume 2, Recursive Algebra, Analysis and Combinatorics Edited by Yu. L. ERSHOV S.S. GONCHAROV A. NERODE

Mathematical Problems from Applied Logic II Logics for the XXIst CenturyGabbay, Dov M.; Goncharov, Sergei S.; Zakharyaschev, Michael (Eds.) Series: International Mathematical Series , Vol. 5

Springer 2007, 354 p., Hardcover ISBN: 978-0-387-69244-9http://www.springer.com/math/book/978-0-387-69244-9MATHEMATICAL LOGIC IN ASIAProceedings of the 9th Asian Logic ConferenceNovosibirsk, Russia 16 - 19 August 2005edited by S S Goncharov , R Downey , H Ono http://www.worldscibooks.com/mathematics/6255.html


Top Related

Point-free topological spaces, functions and recursive ... · filter foundation for recursive analysis. I Iraj Kalantari’, Lawrence Welch Department oj Mathematics. Westcmn Illinois
Point-free topological spaces, functions and recursive ... · filter foundation for recursive analysis. I Iraj Kalantari’, Lawrence Welch Department oj Mathematics. Westcmn Illinois
Recursive construction of particular solutions to … · 2017-02-11 · Journal of Computational and Applied Mathematics 39 ( 1992) 227-242 North-Holland 227 Recursive construction
Recursive construction of particular solutions to … · 2017-02-11 · Journal of Computational and Applied Mathematics 39 ( 1992) 227-242 North-Holland 227 Recursive construction
8.5 Using Recursive Rules with Sequences - Big Ideas Math · Evaluate recursive rules for sequences. Write recursive rules for sequences. Translate between recursive and explicit
8.5 Using Recursive Rules with Sequences - Big Ideas Math · Evaluate recursive rules for sequences. Write recursive rules for sequences. Translate between recursive and explicit
DESIGN OF NON-RECURSIVE AND RECURSIVE … OF NON-RECURSIVE AND RECURSIVE DIGITAL BAND PASS FILTERS FOR GENERAL PURPOSE APPLICATIONS Barreto Guerra, Jean Paul jeanpaulba@hotmail.com
DESIGN OF NON-RECURSIVE AND RECURSIVE … OF NON-RECURSIVE AND RECURSIVE DIGITAL BAND PASS FILTERS FOR GENERAL PURPOSE APPLICATIONS Barreto Guerra, Jean Paul [email protected]
Other Approaches to Computability Church’s Thesis · Recursive Functions Turing Machine Church’s Thesis Primitive Recursive Function Partial Recursive Function Primitive Recursive
Other Approaches to Computability Church’s Thesis · Recursive Functions Turing Machine Church’s Thesis Primitive Recursive Function Partial Recursive Function Primitive Recursive
Low-rank Properties, Tree Structure, and Recursive ...€¦ · Low-rank Properties, Tree Structure, and Recursive Algorithms with Applications . Jingfang Huang . Department of Mathematics
Low-rank Properties, Tree Structure, and Recursive ...€¦ · Low-rank Properties, Tree Structure, and Recursive Algorithms with Applications . Jingfang Huang . Department of Mathematics
Recursive Static Route - cisco.com · Recursive Static Route TheRecursiveStaticRoutefeatureenablesyoutoinstallarecursivestaticrouteintotheRoutingInformation …
Recursive Static Route - cisco.com · Recursive Static Route TheRecursiveStaticRoutefeatureenablesyoutoinstallarecursivestaticrouteintotheRoutingInformation …
University of Hawaii ICS141: Discrete Mathematics for Computer …janst/141/lecture/21-Recursion1.pdf · 2011. 11. 10. · ICS 141: Discrete Mathematics I – Fall 2011 13-4 Recursive
University of Hawaii ICS141: Discrete Mathematics for Computer …janst/141/lecture/21-Recursion1.pdf · 2011. 11. 10. · ICS 141: Discrete Mathematics I – Fall 2011 13-4 Recursive