Normal view
MARC view
- Mathematical systems
Entry Topical Term
001 - CONTROL NUMBER
- control field: 7435
003 - CONTROL NUMBER IDENTIFIER
- control field: OSt
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20101231113739.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 101231|||a|||||| | ||| d
040 ## - CATALOGING SOURCE
- Original cataloging agency: OSt
- Transcribing agency: OSt
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name as entry element: Mathematical systems
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (OSt): Gabbay, Dov M, 1945- 7433, Semantical investigations in heyting's intuitionistic logic., c1981.
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (OSt): Gabbay, Dov M, 1945- 7433, Semantical investigations in heyting's intuitionistic logic., c1981.