CRIS of TUM
Current Research Information System (CRIS) of the Technical University of Moldova (TUM) is an open access system gathering information and digital material relating to the various research and innovation entities and activities of TUM: researchers, research units, publications, patents, thesis, awards, events, equipment, services and other.
Browsing by Subject expressibility of formulas
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2019 | On completeness as to ¬-expressibility in a 4-valued provability logic | RUSU, Elena ; RUSU, Andrei |