Analysis and synthesis of logics

Reference : Analysis and synthesis of logics


	Document type :	Books : Book published as author, translator, etc.
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/15866

Title :	Analysis and synthesis of logics
Language :	English
Author, co-author :	Carnielli, Walter [> >]
	Coniglio, Marcelo [> >]
	Gabbay, Dov M. []
	Gouveia, Paula [> >]
	Sernadas, Cristina [> >]
Publication date :	2008
Publisher :	Springer
Collection and collection volume :	Applied Logic Series 35
ISBN :	9781402067815
Permalink :	http://hdl.handle.net/10993/15866

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.