Handbook of Recursive Mathematics : Volume 1
Subtitle: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)
Publisher: North Holland
Published: December 1, 1998
Language: eng
Number of pages: 664
ISBN-13: 9780444500038
First sentence: Exploiting the fundamental concepts of computability theory, computable model theory introduces effective analogues of model-theoretic notions.