ACS 6.49 DHL courier 9.99 Speedex 5.99 Σημείο ACS 6.49 Elta 3.99 Σημείο Elta 3.99 Box Now 3.99

Hybrid Logic and its Proof-Theory

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετη βιβλιοδεσία
Βιβλίο Hybrid Logic and its Proof-Theory Torben Braüner
Κωδικός Libristo: 01979650
ΕΕκδοτικός οίκος Springer, Δεκέμβριος 2012
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of... Πλήρης περιγραφή
? points 317 b
126.51
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-16 ημέρες

30 ημέρες για την επιστροφή των προϊόντων


Μπορεί να σας ενδιαφέρει


Histoire Naturelle. Insectes. Tome 5 Olivier-G-A / Χαρτόδετη βιβλιοδεσία
common.buy 52.46
Hunchback in Hellenistic and Roman Art Lisa Trentin / Σκληρόδετη βιβλιοδεσία
common.buy 220.85
Degeneration Internet Frank Sorge / Χαρτόδετη βιβλιοδεσία
common.buy 5.84
Personalgewinnung Magdalena Rozwadowski / Χαρτόδετη βιβλιοδεσία
common.buy 51.75

Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Hybrid Logic and its Proof-Theory
Συγγραφέας Torben Braüner
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετη βιβλιοδεσία
Ημερομηνία έκδοσης 2012
Αριθμός σελίδων 231
EAN 9789400734357
ISBN 9400734352
Κωδικός Libristo 01979650
ΕΕκδοτικός οίκος Springer
Βάρος 385
Διαστάσεις 154 x 15 x 239
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo