Chartering first order logic

dc.contributor.author	Stefaneas, P	en
dc.date.accessioned	2014-03-01T02:48:27Z
dc.date.available	2014-03-01T02:48:27Z
dc.date.issued	1997	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33822
dc.relation.uri	http://www.informatik.uni-trier.de/~ley/db/conf/dlt/dlt1997.html#Stefaneas97	en
dc.subject	First Order Logic	en
dc.title	Chartering first order logic	en
heal.type	conferenceItem	en
heal.publicationDate	1997	en
heal.journalName	Developments in Language Theory	en