Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak
Natural Deduction, Hybrid Systems and Modal Logics
2010ISBN 9789048187843
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra