Labelled sequent calculi for indexed modal logics
Orlandelli Eurgenio
Clueb
Bologna, 2019; br., pp. 162, cm 14x20,5.
(Heuresis. Linguaggio, Logica, Scienza. 18).
collana: Heuresis. Linguaggio, Logica, Scienza
ISBN: 88-491-5658-8 - EAN13: 9788849156584
Testo in:
Peso: 0.78 kg
Manuale del saldo e stralcio. NPL e acquisto crediti incagliati immobiliari
Konrad. Per quanto un'oca allunghi il collo non diventerà mai un cigno
L'autismo nei primi anni di vita. Ricerca, valutazione e trattamento
Le note del colore. Nuovi dipinti antichi. [Ed. Italiana e Inglese]
Un battito d'ali. Ritrovamenti e conferme. [Ed. Italiana e Inglese]