Your search returned 2 results.

Results
	1.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter [author.] Coniglio, Marcelo [author.] Gabbay, Dov M [author.] Gouveia, Paula [author.] Sernadas, Cristina [author.] SpringerLink (Online service) Series: Applied Logic Series ; 35 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Logic without frontiers: festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday/ Jean-Yves Beziau and Marcelo Esteban Coniglio eds by Beziau, Jean-Yves [ed.] Coniglio, Marcelo Esteban [ed.] Material type: Text; Format: print ; Literary form: Not fiction Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 160 B574. Place hold Add to cart (remove)

Refine your search