Publication:5880831
From MaRDI portal
Leendert van der Torre, Huimin Dong, Réka Markovich, Beishui Liao
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