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).

• 04:48, 27 January 2023 Benkoo2 talk contribs created page Book/The B-Book (Created page with "{{cite book |title=The B-Book: Assinging Programs to Meanings |first1=J-R |last1=Abrial |author-link=J-R Abrial |location=local page |url=https://cloudflare-ipfs.com/ipfs/bafykbzacedtwtri4niuzsvbe2ufu5y2fz5vhrldkesuqgfpqnxfxeeam2biz6?filename=J.%20R.%20Abrial%20-%20The%20B-Book_%20Assigning%20Programs%20to%20Meanings-Cambridge%20University%20Press%20%282005%29.pdf |date=1996 |publisher=Cambridge University Press |isbn=978-0-521-49619-3 }} <noinclude>...")