Deductive systems and the decidability problem for hybrid logics / (Rekord nr 88130)

Szczegóły MARC
000 -LEADER
fixed length control field 01815cam a2200397 i 4500
001 - CONTROL NUMBER
control field xx003156093
003 - CONTROL NUMBER IDENTIFIER
control field NUKAT
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20251228182236.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 140807s2013 pl a |001 0 eng c
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788379690428
Qualifying information paperback Łódź University Press
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788323336952
Qualifying information paperback Jagiellonian University Press
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788379690435
Qualifying information hard cover Łódź University Press
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788379690541
Qualifying information electronic version Łódź University Press
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788323390183
Qualifying information electronic version Jagiellonian University Press
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)890403108
040 ## - CATALOGING SOURCE
Original cataloging agency WR O/MB
Transcribing agency WR O/MB
Modifying agency WR O/PC
-- WR O/MBs
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Zawidzki, Michał.
9 (RLIN) 116280
245 10 - TITLE STATEMENT
Title Deductive systems and the decidability problem for hybrid logics /
Statement of responsibility, etc. Michał Zawidzki.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Łódź :
Name of publisher, distributor, etc. Wydawnictwo Uniwersytetu Łódzkiego ;
Place of publication, distribution, etc. Kraków :
Name of publisher, distributor, etc. Jagiellonian University Press,
Date of publication, distribution, etc. 2013.
300 ## - PHYSICAL DESCRIPTION
Extent XIV, 215, [1] s. :
Other physical details il. (w tym kolor.) ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliogr. s. 199-209. Indeks.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Rozstrzygalność (logika matematyczna).
Source of heading or term kaba
9 (RLIN) 28025
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Dedukcja (logika).
Source of heading or term kaba
9 (RLIN) 12437
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Uniwersytet Łódzki.
Subordinate unit Wydawnictwo.
Relationship pbl
9 (RLIN) 97567
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Uniwersytet Jagielloński.
Subordinate unit Wydawnictwo.
Relationship pbl
9 (RLIN) 99575
920 ## - ISBN
-- paperback Łódź University Press
920 ## - ISBN
-- paperback Jagiellonian University Press
920 ## - ISBN
-- hard cover Łódź University Press
920 ## - ISBN
-- electronic version Łódź University Press
920 ## - ISBN
-- electronic version Jagiellonian University Press
Egzemplarze
Status wycofania Status zagubienia Źródło klasyfikacji Status uszkodzenia Blokada wypożyczeń Kolekcja Biblioteka macierzysta Bieżąca biblioteka Pozycja na półce Data nabycia Akcesja Cena Nr inwentarzowy Ogółem wypożyczeń Sygnatura Kod kreskowy Ostatnio widziano Cena zast. od dnia Typ egz.
    Library of Congress Classification     Czytelnia Biblioteka Politechniki Poznańskiej Biblioteka Politechniki Poznańskiej w czytelni 30/01/2015 2015 D 8 32.00 182333   A 182333 0000148607 28/12/2025 28/12/2025 Niewypożyczane