Normal view
MARC view
Entry Topical Term
001 - CONTROL NUMBER
- control field: 8097
003 - CONTROL NUMBER IDENTIFIER
- control field: inmoiis
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20140326161606.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 140326|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: inmoiis
- Transcribing agency: inmoiis
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name as entry element: Proof theory.
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (inmoiis)0: Wohlgemuth, Andrew. 8096, Introduction to proof in abstract mathematics , 2011.