Selected Logic Papers (World Scientific Series on 20th Century Mathematics, Volume 6)
Edition: Reissue edition
Publisher: World Scientific Publishing Company
Published: July 1999
Language: eng
Format: Hardcover
Number of pages: 431
ISBN-13: 9789810232672
Subjects: Mathematical logic; Mathematics; Computer Logic; Computers; Science/Mathematics; Logic; Computer Science; Logic, Symbolic and mathematic; Logic, Symbolic and mathematical
First sentence: By degree, we mean degree of recursive unsolvability as defined by Kleene and Post in [6].