Louis Couturat -TraitΓ© de Logique algorithmique

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Schlaudt, Oliver
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Sakhri, Mohsen
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Basel Springer Basel AG 2010
Σειρά:Publications des Archives Henri PoincarΓ© Publications of the Henri PoincarΓ© Archives
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-0346-0411-6
LEADER 01217nom a2200313 u 4500
001 10093211
003 upatras
005 20210127183943.0
008 110802s2010 eng
020 |a 9783034604116 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Schlaudt, Oliver  |9 99270 
245 1 0 |a Louis Couturat -TraitΓ© de Logique algorithmique  |h [electronic resource]  |c edited by Oliver Schlaudt, Mohsen Sakhri 
260 |a Basel  |b Springer Basel AG  |c 2010 
300 |b v.: digital 
490 0 |a Publications des Archives Henri PoincarΓ© Publications of the Henri PoincarΓ© Archives 
650 4 |a Mathematics  |9 10598 
650 4 |a Μαθηματικά  |x Ιστορία  |9 239 
650 4 |a Mathematics  |9 10598 
650 4 |a History of Mathematics  |9 65265 
700 1 |a Sakhri, Mohsen  |9 99271 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Publications des Archives Henri PoincarΓ© Publications of the Henri PoincarΓ© Archives 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-3-0346-0411-6 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 101125  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 68911  |d 68911