Cut elimination in categories

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Dosen, Kosta
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Kluwer Academic 1999
Σειρά:Trends in logic 6
Θέματα:
LEADER 01010nam a2200277 u 4500
001 10033898
003 upatras
005 20210117195341.0
008 000406s1999 ne eng
020 |a 0792357205 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 511.3 
100 1 |a Dosen, Kosta  |9 3716 
245 1 0 |a Cut elimination in categories  |c Kosta Dosen 
260 |a Dordrecht  |b Kluwer Academic  |c 1999 
300 |a xii, 229 p.  |b fig.  |c 25 cm. 
490 0 |a Trends in logic   |v 6 
504 |a Includes bibliographical references and index 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
760 0 |a Trends in logic  |g 6 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 511.3 D  |m 057467  |p 025000080159  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_D  |7 0  |9 2873  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 057467  |l 0  |o 511.3 D  |p 025000080159  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΔΡΑΚΟΠΟΥΛΟΥ  |d 2000-04 
999 |c 1532  |d 1532