|
|
|
|
| LEADER |
01393nam a2200205 a 4500 |
| 001 |
1065953 |
| 005 |
20171111232416.0 |
| 008 |
071107s2005 gr er b_ 001 0 gre d |
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 515
|
| 100 |
1 |
|
|a Τσοτάκος, Γιώργος
|
| 245 |
1 |
0 |
|a Γραμμική ανάλυση των κλασικών αποδείξεων :
|b εμφυτεύσεις στη γραμμική λογική κανονικοποίηση /
|c Γιώργος Τσοτάκος ; συνεπιβλέποντες καθηγητές: Γ. Σταυρινός, Γ. Κολέτσος
|
| 260 |
|
|
|a 200:
|b Εθνικό Και Καποδιστριακό Πανεπιστήμιο Αθηνών,Τμήμα Μαθηματικό,
|c 2005
|
| 300 |
|
|
|a 127 σ. ;
|c 30 εκ.
|
| 500 |
|
|
|a Διαπανεπιστημιακό Πρόγραμμα Σπουδών στη Λογική και Θεωρία Αλγορίθμών και Υπολογισμού (ΜΠΛΑ
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφία: σ. 125-126 και ευρετήριο
|
| 650 |
1 |
7 |
|a Μαθηματική ανάλυση
|
| 710 |
0 |
|
|a Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών.
|b Σχολή Θετικών Επιστημών.
|
| 710 |
0 |
|
|b Τμήμα Μαθηματικών
|
| 952 |
|
|
|a GrAtEKP
|b 59ccde9e6c5ad134460ac2e4
|c 998a
|d 945l
|e ΜΔ 515 ΤσοΓ γ 2005
|t 1
|x m
|z Books
|
