TY - JOUR AU - Blackburn, Patrick AU - Kovač, Srećko AU - Świętorzecka, Kordula TI - Formal Methods and Science in Philosophy: Introduction to the Special Issue JO - Bulletin of the Section of Logic PY - 2020 VL - 49 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/BSL_2020_49_2_a4/ LA - en ID - BSL_2020_49_2_a4 ER -