The nuts and bolts of proofs
Κύριος συγγραφέας: | Cupillari, Antonella. |
---|---|
Μορφή: | Ηλεκτρονική πηγή |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Amsterdam ; Boston :
Elsevier Academic Press,
c2005.
|
Έκδοση: | 3rd ed. |
Θέματα: | |
Διαθέσιμο Online: |
http://www.loc.gov/catdir/enhancements/fy0627/2005296426-t.html http://www.sciencedirect.com/science/book/9780120885091 |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
LEADER | 01001nam a2200241 a 4500 | ||
---|---|---|---|
001 | 1/38065 | ||
008 | 090828s2005 ne a b 001 0 eng | ||
020 | |a 9780120885091 | ||
035 | |l 40694 | ||
040 | |a DLC |c DLC |d DLC |d GR-PeUP | ||
041 | 0 | |a eng | |
100 | 1 | |a Cupillari, Antonella. | |
245 | 1 | 4 | |a The nuts and bolts of proofs |h [electronic resource] / |c Antonella Cupillari. |
250 | |a 3rd ed. | ||
260 | |a Amsterdam ; |a Boston : |b Elsevier Academic Press, |c c2005. | ||
300 | |a Ένα html e-book. | ||
533 | |a Ηλεκτρονικό βιβλίο |e Τρόπος πρόσβασης μέσω διαδικτύου. | ||
650 | 4 | |a Proof theory. | |
655 | 4 | |a Electronic books. | |
852 | |a INST |b UNIPILB |c EBOOKS |e 20100625 |p 00b40694 |q 00b40694 |t ONLINE |y 0 | ||
856 | 4 | 1 | |3 Πίνακας περιεχομένων |u http://www.loc.gov/catdir/enhancements/fy0627/2005296426-t.html |
856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780120885091 |
856 | 4 | |d /webopac/covers/02/40694_9780120885091.jpg |