Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei

Hybrid Logic and its Proof-Theory

Limba englezăengleză
Carte Carte broșată
Carte Hybrid Logic and its Proof-Theory Torben Braüner
Codul Libristo: 01979650
Editura Springer, decembrie 2012
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of... Descrierea completă
? points 318 b
640 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri


Ar putea de asemenea, să te intereseze


Degeneration Internet Frank Sorge / Carte broșată
common.buy 30 lei
Histoire Naturelle. Insectes. Tome 5 Olivier-G-A / Carte broșată
common.buy 265 lei
Hunchback in Hellenistic and Roman Art Lisa Trentin / Copertă tare
common.buy 1.116 lei
Personalgewinnung Magdalena Rozwadowski / Carte broșată
common.buy 261 lei

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.

Informații despre carte

Titlu complet Hybrid Logic and its Proof-Theory
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 231
EAN 9789400734357
ISBN 9400734352
Codul Libristo 01979650
Editura Springer
Greutatea 385
Dimensiuni 154 x 15 x 239
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo