Truth in V for E*AA-sentences is decidable

BELLE' D

•

PARLAMENTO, Franco

2006

journal article

Periodico

THE JOURNAL OF SYMBOLIC LOGIC

WOS

WOS:000242634700008

Archivio

http://hdl.handle.net/11390/713292

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33845543355

Diritti

closed access

Visualizzazioni

4

Data di acquisizione
Apr 19, 2024