3 ms·Anyone so active in formal logic in mid-C20 (or since) could not possibly have missed Gödel's work.by leoc 12y agoAnyone so active in formal logic in mid-C20 (or since) could not possibly have missed Gödel's work.