HANDBOOK OF RECURSIVE MATHEMATICS Recursive Model Theory / Volume 1 :

HANDBOOK OF RECURSIVE MATHEMATICS Recursive Model Theory / Volume 1 : Handbook of recursive mathermatics recursive model theory volume one : Edited by Yu. L. ERSHOV, A. NERODE, S.S. GONCHAROV, J.B. REMMEL ; Associate Editor : V.W. MAREK - AMSTERDAM ELSEVIER 1998 - 2 volumes ; 23 cm. 620 p 23 cm - STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMA .

Includes exercises

Includes bibliographical references

0444500030


Ershov, Yu. L., editor
Nerode, A., editor


31.10 logic, set theory
Logic, Symbolic and mathematical
Recursion theory
SAINS JATI (TULEN) DAN MATEMATIK