Chiron : (Rekord nr 149472)
| 000 -LEADER | |
|---|---|
| fixed length control field | 01546naa a2200265 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | xx004081585 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NUKAT |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251229104640.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170801s2007 pl a |000 0 eng c |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)1002945633 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | BSTOK U/DUN3EW |
| Transcribing agency | BSTOK U/DUN3EW |
| Modifying agency | BSTOK U/DUN3EWs |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Farmer, William M. |
| 9 (RLIN) | 163479 |
| 245 10 - TITLE STATEMENT | |
| Title | Chiron : |
| Remainder of title | A Multi-Paradigm Logic / |
| Statement of responsibility, etc. | William M. Farmer. |
| 500 ## - GENERAL NOTE | |
| General note | Tytuł. nagł. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Bibliogr. s. 18-19. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Matematyka |
| General subdivision | oprogramowanie. |
| Source of heading or term | kaba |
| 9 (RLIN) | 8974 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Automatyczne dowodzenie twierdzeń. |
| Source of heading or term | kaba |
| 9 (RLIN) | 21050 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Aksjomatyczna teoria zbiorów. |
| Source of heading or term | kaba |
| 9 (RLIN) | 21900 |
| 773 08 - HOST ITEM ENTRY | |
| Place, publisher, and date of publication | Białystok : University of Białystok, 2007. |
| Series data for related item | Studies in Logic, Grammar and Rhetoric, |
| -- | Studies in Logic, Grammar and Rhetoric |
| Title | From insight to proof : |
| International Standard Book Number | 9788374311281 |
| Control subfield | nnas |
| Related parts | 10 (23) (2007), s. 1-19 |
| Record control number | gg97611288#0 |
| Control subfield | nnam |
| Related parts | S. 1-19 |
| Record control number | zz2007832223 |
| 773 0# - HOST ITEM ENTRY | |
| Control subfield | nnas |
| Title | Studies in Logic, Grammar and Rhetoric |
| Place, publisher, and date of publication | Białystok : Sekcja Wydawnicza Filii Uniwersytetu Warszawskiego, 1980- |
| Series data for related item | Zeszyty Naukowe - Uniwersytet Warszawski. Filia w Białymstoku (1976) |
| -- | Zeszyty Naukowe Filii UW w Białymstoku. Humanistyka. Dział L, Prace z Logiki |
| Related parts | 10 (23) (2007), s. 1-19 |
| International Standard Serial Number | 0860-150X |
| Record control number | (NUKAT)gg97611288 |
| 773 0# - HOST ITEM ENTRY | |
| Control subfield | nnam |
| Title | From insight to proof : Festschrift in honour of Andrzej Trybulec |
| Place, publisher, and date of publication | Białystok : University of Białystok, 2007 |
| Series data for related item | Studies in Logic, Grammar and Rhetoric, ISSN 0860-150X; 10 (23) |
| Related parts | S. 1-19 |
| International Standard Book Number | 9788374311281 |
| Record control number | (NUKAT)zz2007832223 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Niewypożyczane |
Brak dostępnych egzemplarzy.