|
|
|
|
| LEADER |
00000nam a2200000 i 4500 |
| 001 |
1/37605 |
| 008 |
131024s1995 gre d |
| 020 |
|
|
|a 960-431-335-5
|
| 035 |
|
|
|l 10115864
|
| 040 |
|
|
|a GR-MY-UA
|b gre
|e aacr
|
| 041 |
0 |
|
|a gre
|
| 082 |
0 |
|
|a 511.3
|2 (22)
|
| 100 |
1 |
|
|a Boricic, Branislav.
|
| 245 |
1 |
0 |
|a Λογική και απόδειξη :
|b θεωρία - ασκήσεις /
|c Μπράνισλαβ Μπόριτσιτσ
|
| 246 |
3 |
3 |
|a Logic and proofs
|
| 260 |
|
|
|a Θεσσαλονίκη :
|b Ζήτη,
|c 1995
|
| 300 |
|
|
|a 173 σ.;
|c 24 εκ.
|
| 500 |
|
|
|a Περίληψη στα Αγγλικά
|
| 500 |
|
|
|a το βιβλίο αυτό γράφτηκε ταυτοχρόνως στην ελληνική, σερβική και αγγλική γλώσσα.
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές αναφορές και ευρετήριο
|
| 505 |
0 |
|
|a Εισαγωγικά κεφάλαια μαθηματικής λογικής: Αξιωματική μέθοδος - Προτασιακοί λογισμοί - Πρωτοβάθμια κατηγορηματική λογική - Κλασσική και διαισθητική λογική - Θεωρία αποδείξεων
|
| 650 |
0 |
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
0 |
0 |
|a Logic, Symbolic and mathematical
|x Problems, exercises, etc.
|
| 650 |
0 |
0 |
|a Proof theory.
|
| 852 |
|
|
|a INST
|b SAMOS
|c EUDOXUS
|e 20131024
|h 511.3 BOR
|p 005300040739
|q 005300040739
|t EDX
|y 0
|
| 901 |
|
|
|a BIBL3-2013-3
|
| 909 |
|
|
|a Σ
|b 178925
|
| 920 |
|
|
|a ΕΥΔΟΞΟΣ
|b ΠΑΡΑΓΓΕΛΙΑ-ΜΑΘΗΜΑΤΙΚΟ
|y ΣΑΜΟΣ
|z 2013-05
|
| 970 |
|
|
|a ΓΟΥΒΑΛΑ
|b ΒΑΣΩ
|z 2013/10/24
|