1. Forum
  2. Usenet
  3. COMP.THEORY

  • =?UTF-8?Q?G=c3=b6del's_Basic_Logic_Course_at_Notre_Dame_=28Was:_Ana?= =

    From Mild Shock@21:1/5 to olcott on Tue Jul 23 14:02:23 2024
    XPost: sci.logic

    Little bit odd reference to mathematical logic for 2024.

    olcott schrieb:
    Curry, Harkell B. 1977. Foundations of Mathematical Logic. Page:45

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)