 | Up a level |
Metcalfe, George; Tuyt, Olim (2020). A monadic logic of ordered abelian groups. In: Olivetti, Nicola; Verbrugge, Rineke; Negri, Sara; Sandu, Gabriel (eds.) Proceedings of AiML 2020. Advances in Modal Logic: Vol. 13 (pp. 441-457). College Publications
Jäger, Gerhard; Steila, Silvia (2019). From Mathesis Universalis to fixed points and related set-theoretic concepts. In: Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M. (eds.) Mathesis Universalis, Computability and Proof, Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science: Vol. 412 (pp. 113-129). Cham: Springer 10.1007/978-3-030-20447-1_9
