Buy print copy
Tax calculation will be finalised at checkout
Keywords
- computability theory
- mathematical logic
- model theory
- proof
- set theory
Bibliographic Information
Book Title: Ω-Bibliography of Mathematical Logic
Book Subtitle: Recursion Theory
Editors: Peter G. Hinman
Series Title: Perspectives in Mathematical Logic
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1987
Softcover ISBN: 978-3-662-09063-3Published: 03 October 2013
Series ISSN: 0172-6641
Edition Number: 1
Number of Pages: XLV, 697
Number of Illustrations: 1 b/w illustrations