A first course in logic an introduction to model theory, proof theory, computability and complexity

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Hedman, Shawn
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Oxford University Press 2004
Σειρά:Oxford texts in logic 1
Θέματα:
LEADER 01153nam a2200289 u 4500
001 10069065
003 upatras
005 20210117201529.0
008 090401s2004 us eng
020 |a 9780198529811 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 511.3 
100 1 |a Hedman, Shawn  |9 63585 
245 1 0 |a A first course in logic  |b an introduction to model theory, proof theory, computability and complexity  |c Shawn Hedman 
260 |a New York  |b Oxford University Press  |c 2004 
300 |a xx, 431 p.  |c 25 cm. 
490 0 |a Oxford texts in logic  |v 1 
504 |a Includes bibliography and index 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Πολυπλοκότητα  |9 2511 
760 0 |a Oxford texts in logic  |g 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ-12  |h 511.3 HED  |m 096727  |p 025000167174  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_HED  |7 0  |9 70380  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 096727  |l 1  |o 511.3 HED  |p 025000167174  |r 2016-10-10 00:00:00  |s 2016-10-04  |t 1  |w 2016-04-24  |y BK15 
998 |c ΒΑΣΙΛΕΙΟΥ  |d 2009-04 
999 |c 45312  |d 45312