logicmatters.net/ifl/ifl_1st

Preview meta tags from the logicmatters.net website.

Linked Hostnames

7

Thumbnail

Search Engine Appearance

Google

https://logicmatters.net/ifl/ifl_1st

IFL1: the first edition - Logic Matters

An Introduction to Formal Logic was originally published by Cambridge University Press in November 2003. The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book […]



Bing

IFL1: the first edition - Logic Matters

https://logicmatters.net/ifl/ifl_1st

An Introduction to Formal Logic was originally published by Cambridge University Press in November 2003. The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book […]



DuckDuckGo

https://logicmatters.net/ifl/ifl_1st

IFL1: the first edition - Logic Matters

An Introduction to Formal Logic was originally published by Cambridge University Press in November 2003. The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book […]

  • General Meta Tags

    6
    • title
      IFL1: the first edition - Logic Matters
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1
    • robots
      index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1
    • article:modified_time
      2020-10-08T18:13:02+00:00

  • Open Graph Meta Tags

    7
    • US country flagog:locale
      en_US
    • og:type
      article
    • og:title
      IFL1: the first edition - Logic Matters
    • og:description
      An Introduction to Formal Logic was originally published by Cambridge University Press in November 2003. The headline news is that this is an initially very gentle-paced introduction to logic by trees, though it does get as far as a completeness proof for quantificational logic (included for enthusiasts).  Until I retired, it was the text book […]
    • og:url
      https://www.logicmatters.net/ifl/ifl_1st/

  • Twitter Meta Tags

    4
    • twitter:card
      summary_large_image
    • twitter:site
      @PeterSmith
    • twitter:label1
      Est. reading time
    • twitter:data1
      2 minutes

  • Link Tags

    20
    • EditURI
      https://www.logicmatters.net/xmlrpc.php?rsd
    • alternate
      https://www.logicmatters.net/feed/
    • alternate
      https://www.logicmatters.net/comments/feed/
    • alternate
      https://www.logicmatters.net/wp-json/wp/v2/pages/8294
    • alternate
      https://www.logicmatters.net/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fwww.logicmatters.net%2Fifl%2Fifl_1st%2F

Links

39