Introduction to mathematical logic /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hermes, Hans (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin : Springer-Verlag, 1973.
Σειρά:Universitext (Springer)
Θέματα:
LEADER 01433nam a2200313 u 4500
001 10083953
003 GR-PaULI
005 20210117202436.0
008 100315s1973 ge eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_300000000000000_HER  |7 0  |8 NFIC  |9 89342  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 101425  |l 0  |o Π/Σ 511.3 HER  |p 025000042493  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_300000000000000_HER  |7 0  |9 89343  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 101426  |l 1  |m 1  |o Π/Σ 511.3 HER  |p 025000042494  |r 2021-12-07 00:00:00  |s 2021-10-22  |t 2  |v 2016.00  |w 2016-04-24  |y BK15 
999 |c 59724  |d 59724 
020 |a 3540058192 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
041 1 |a eng  |h ger 
082 0 4 |a 511.3  |2 23 
100 1 |a Hermes, Hans  |9 8998  |e συγγραφέας. 
240 |a Einführung in die mathematische Logik.  |l Αγγλικά. 
245 1 0 |a Introduction to mathematical logic /  |c Hans Hermes ; translated from German by Diana Schmidt. 
260 |a Berlin :  |b Springer-Verlag,  |c 1973. 
300 |a xi, 242 σ. ;  |c 25 εκ. 
490 1 |a Universitext 
500 |a Περιλαμβάνει ευρετήριο. 
500 |a Τίτλος πρωτοτύπου : Einführung in die mathematische Logik. 
504 |a   
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
830 0 |9 174184  |a Universitext (Springer) 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-09