Entry Personal Name

Number of records used in: 1

000 - LEADER

• fixed length control field: 00663cz 2200145n 4500

000 - LEADER

• fixed length control field: 1

001 - CONTROL NUMBER

• control field: 32561

003 - CONTROL NUMBER IDENTIFIER

• control field: P5A

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20221101114421.0

008 - FIXED-LENGTH DATA ELEMENTS

• fixed length control field: 770810n| acannaab| |a aaa |||||

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: n 77005986

035 ## - SYSTEM CONTROL NUMBER

• System control number: oca00122624

040 ## - CATALOGING SOURCE

• Original cataloging agency: DLC
• Transcribing agency: DLC
• Modifying agency: DLC

100 1# - HEADING--PERSONAL NAME

• Personal name: Apt, Krzysztof R.,
• Dates associated with a name: 1949-

670 ## - SOURCE DATA FOUND

• Source citation: Foundations of computer ... 1976 (a.e.)
• Information found: t.p., v. 1 (K.R. Apt)

670 ## - SOURCE DATA FOUND

• Source citation: NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems (1984 : La Colle-sur-Loupé, France). Logics and models for verification ... c1985:
• Information found: CIP t.p. (Krzysztof R. Apt; L.I.T.P., Université Paris)