Logic Colloquium '90
Subtitle: Lecture Notes in Logic, 2 (Lecture Notes in Logic, 1.)
Contributors: Juha Oikkonen (Editor); Jouko Vaananen (Editor)
Publisher: AK Peters
Published: March 30, 2000
Language: eng
Format: Paperback
Number of pages: 320
ISBN-13: 9781568811321
Subjects: Mathematical logic; Recursion theory; Mathematics; Science/Mathematics; Logic
First sentence: This note extends our method from (Buchholz [2]) in such a way that it applies also to the rather strong theory KPM.