Items where authors include "Crosilla, L"

Export as [feed] Atom [feed] RSS
Number of items: 2.

Book Section

Crosilla, L (2018) Predicativity and Feferman. In: JÓ“ger, G and Sieg, W, (eds.) Feferman on Foundations: Logic, Mathematics, Philosophy. Outstanding Contributions to Logic, 13 . Springer , Cham, Switzerland , pp. 423-447. ISBN 978-3-319-63332-9

Proceedings Paper

Crosilla, L (2015) Error and Predicativity. In: Beckmann, A, Mitrana, V and Soskova, M, (eds.) Evolving Computability. Lecture Notes in Computer Science. CiE 2015: 11th Conference on Computability in Europe, 29 Jun - 03 Jul 2015, Bucharest, Romania. Springer , pp. 13-22. ISBN 978-3-319-20027-9

This list was generated on Sat May 4 12:35:56 2024 BST.