مكتبة جامعة عجلون الوطنية

فهرس بحث المكتبة

Normal view MARC view
  • Gabbay,dove m/Reynolds,mark

Entry Personal Name

Number of records used in: 1

001 - CONTROL NUMBER

  • control field: 471

003 - CONTROL NUMBER IDENTIFIER

  • control field: JO-AjAnu

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20230606070401.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 230606|| aca||aabn | a|a d

040 ## - CATALOGING SOURCE

  • Original cataloging agency: JO-AjAnu
  • Transcribing agency: JO-AjAnu

100 ## - HEADING--PERSONAL NAME

  • Personal name: Gabbay,dove m/Reynolds,mark

670 ## - SOURCE DATA FOUND

  • Source citation: Work cat.: (JO-AjAnu)250: Gabbay,dove m/Reynolds,mark, author, Temporal Logic Mathematical Foundations and Computiona Aspects vol.2