Analysis in weak systems. (English) Zbl 1418.03174
Caleiro, Carlos (ed.) et al., Logic and computation. Essays in honour of Amílcar Sernadas. London: College Publications. Tributes 33, 231-261 (2017).
MSC:
03F35