Został pochowany na cmentarzu parafialnym w Pruszkowie.
Odznaczenia i wyróżnienia 1957: Nagroda im. Stefana Banacha. 1997: Krzyż Kawalerski Orderu Odrodzenia Polski za wybitne zasługi dla nauki polskiej 2010: doktorat honoris causa Uniwersytetu Blaise Pascala w Clermont-Ferrand 2013: tytuł doktora honoris causa Uniwersytetu Jagiellońskiego. 2014: Krzyż Oficerski Orderu Odrodzenia Polski za wybitne osiągnięcia w pracy naukowo-badawczej i działalności dydaktycznej, za zasługi na rzecz rozwoju nauki (pośmiertnie).
Publikacje Logika popularna. Przystępny zarys logiki zdań, Państwowe Wydawnictwo Naukowe, Warszawa 1955 Zagadnienia rozstrzygalności, Państwowe Wydawnictwo Naukowe, Warszawa 1957 Zarys logiki matematycznej, Państwowe Wydawnictwo Naukowe, Warszawa 1961, s. 501. Schematy i człowiek. Szkice filozoficzne, Wydawnictwo Znak, Kraków 1963 Basic notes in foundations, Instytut Matematyki PAN, Warszawa 1967 Zarys arytmetyki teoretycznej, Państwowe Wydawnictwo Naukowe, Warszawa 1971 Filozofia czasu próby, Éditions du Dialogue, Paryż 1979, s. 221, . Moralitety, Instytut Wydawniczy „Pax”, Warszawa 1986 Mała propedeutyka filozofii naukowej, Instytut Wydawniczy „Pax”, Warszawa 1989, s. 116, . Etyka w doświadczeniu wewnętrznym, Instytut Wydawniczy „Pax”, Warszawa 1989, s. 473, . Życie jako wyzwanie.