Marcello D'Agostino – författare

Visar alla böcker från författaren Marcello D'Agostino. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Labelled Deduction

   Av Marcello D'Agostino, Dov M. Gabbay m. fl.

   Inbunden, 2000

   1096 kr

   Lägg i varukorg

   Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, …

2. 

   New Essays in Logic and Philosophy of Science

   Av Marcello D'Agostino, Guilio Giorello m. fl.

   Häftad, 2010

   357 kr

   Lägg i varukorg

3. 

   Depth-bounded Reasoning. Classical Propositional Logic

   Av Marcello D'Agostino, Dov Gabbay m. fl.

   Häftad, 2024

   243 kr

   Lägg i varukorg