Tools and techniques in modal logic /

Tools and techniques in modal logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Kracht, Marcus (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam ; New York : Elsevier, 1999.
Σειρά:Studies in logic and the foundations of mathematics 142.
LEADER 01156cam a2200253 a 4500
001 2630972
003 GR-PaULI
005 20210804112730.0
008 990414s1999 ne a b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_KRA  |7 0  |8 NFIC  |9 140110  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 6316  |l 0  |o 511.3 KRA  |p 025000284231  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 91619  |d 91619 
010 |a  99030921  
020 |a 0444500553  
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
100 1 |a Kracht, Marcus  |9 126264  |e συγγραφέας. 
245 1 0 |a Tools and techniques in modal logic /  |c Marcus Kracht. 
260 |a Amsterdam ;  |a New York :  |b Elsevier,  |c 1999. 
300 |a xiii, 559 σ. :  |b εικ. ;  |c 24 εκ. 
490 1 |a Studies in logic and the foundations of mathematics  |v 142. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. 
830 0 |9 172249  |a Studies in logic and the foundations of mathematics  |v 142. 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2021-08 

Παρόμοια τεκμήρια