Wadler's Blog: 2021Published bywadler.blogspot.comHistorical Content•1 min readwadler.blogspot.comwadler.blogspot.comKevin Doran wrote to me requesting a reading list on logic. He recommends an introductory guide to logic by Peter Smith.BlockchainConcurrencyCryptocurrencyIOHKFormal MethodsLogicAcademiaEducationScienceUniversityLabels: Formal Methods LogicLabels: Academia Education Science UniversityLabels: Developers Programming LanguagesLabels: Graphics Mathematics Recursion WebLabels: BLM Politics USLearn moreShareLegalReport
