Number of the records: 1
Elementary logics
Title statement Elementary logics : a procedural perspective / Dov Gabbay Personal name Gabbay, Dov M., 1945- (author) Issue data London ; New York ; Toronto : Prentice-Hall, 1998 Phys.des. xiv, 365 s. : il. ISBN 0137263651 Edition Prentice-Hall International Series in Computer Science
Prentice-Hall Series in Computer ScienceNote Rejstř. Internal Bibliographies/Indexes Note Bibliogr Subj. Headings kombinatorika combinatorics * matematická logika mathematical logic * počítačové modelování computer modeling * programování programming * informační technologie information technology * počítačová věda computer science UDC 004 , 510.64 , 519.6:004.2 Country Kanada ; Velká Británie ; Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/544 (PřF) 3134015644 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1