001: 4051
003: Starlibrary PMS 4.5
005: 20180420
066: ^aJo.I
082: ^a519
100: ^aJorge I. Aunon
240: ^aIntroductionto provability and random processes
245: ^aIntroductionto provability and random processes
260: