Publication:5880831
From MaRDI portal
Leendert van der Torre, Beishui Liao, Huimin Dong, Réka Markovich
Publication date: 6 March 2023
Full work available at URL: http://www.collegepublications.co.uk/downloads/ifcolog00056.pdf#section*.7
03-XX: Mathematical logic and foundations