The Curious Inference of Boolos in Mizar and OMEGA / (Rekord nr 149477)
| 000 -LEADER | |
|---|---|
| fixed length control field | 01754naa a2200301 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | xx004081681 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | NUKAT |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251229104641.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)1003039568 |
| 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 | Benzmüller, Christoph. |
| 9 (RLIN) | 163487 |
| 245 14 - TITLE STATEMENT | |
| Title | The Curious Inference of Boolos in Mizar and OMEGA / |
| Statement of responsibility, etc. | Christoph E. Benzmüller and Chad E. Brown. |
| 500 ## - GENERAL NOTE | |
| General note | Tytuł. nagł. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Bibliogr. s. 313-314. |
| 600 17 - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Boolos, George |
| Dates associated with a name | (1940-1996) |
| General subdivision | krytyka i interpretacja. |
| Source of heading or term | kaba |
| 9 (RLIN) | 163488 |
| 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 | Matematyka |
| General subdivision | język. |
| Source of heading or term | kaba |
| 9 (RLIN) | 163453 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Wnioskowanie. |
| Source of heading or term | kaba |
| 9 (RLIN) | 12435 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logika pierwszego rzędu. |
| Source of heading or term | kaba |
| 9 (RLIN) | 28024 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Brown, Chad E. |
| 9 (RLIN) | 163489 |
| 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. 299-386 |
| Record control number | gg97611288#0 |
| Control subfield | nnam |
| Related parts | S. 299-386 |
| 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. 299-386 |
| 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. 299-386 |
| International Standard Book Number | 9788374311281 |
| Record control number | (NUKAT)zz2007832223 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Niewypożyczane |
Brak dostępnych egzemplarzy.