An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895943 Heftet 17.08.2021 Engelsk I salg
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895936 Innbundet 17.08.2021 Engelsk I salg
Analytic Philosophy Without Naturalism Corradini, Antonella Galvan, Sergio Lowe, E. J. 9780415591591 Routledge Studies in Twentieth-Century Philosophy Heftet 01.04.2010 Engelsk I salg
