Normal view
MARC view
Entry Personal Name
001 - CONTROL NUMBER
- control field: 69344
003 - CONTROL NUMBER IDENTIFIER
- control field: GrThPMO
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20151110101839.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 080618n| acannaab| |n aaa |||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: n 82026953
035 ## - SYSTEM CONTROL NUMBER
- System control number: hzn202859
035 ## - SYSTEM CONTROL NUMBER
- System control number: n 82026953
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: DLC
100 10 - HEADING--PERSONAL NAME
- Personal name: Kozen, Dexter,
- Dates associated with a name: 1951-
670 ## - SOURCE DATA FOUND
- Source citation: Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Logics of Programs Workshop, 1982 (a.e.)
- Information found: CIP t.p. (Dexter Kozen) data sht. (b. 12/20/51)
670 ## - SOURCE DATA FOUND
- Source citation: His The design and analysis of algorithms, 1991:
- Information found: CIP t.p. (Dexter C. Kozen)
942 ## - KOHA INTERNAL USE
- Koha auth type: PERSO_NAME