G. Lambert

This publication present the approved and invited papers of the 4th Congress of Logic Applied to Technology - LAPTEC'2003. Logic (Classical and Non-Classical) is being increasingly related with almost...