All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 21:46, 19 April 2022 Benkoo talk contribs created page Joachim Lambek (Created page with "{{WikiEntry|key=Joachim Lambek|qCode=1029256}} is a mathematician who is credited for Curry-Howard-Lambek Correspondence.")