Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: formal logic

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 15th 2012

    I keep feeling the need to point to an entry named formal logic. None of the existing entries seems to quite deserve to be where this link should be redirecting to. So I created a page formal logic with just some pointers to pages that the reader might expect behind this term.

    Just so that I can use that link for the time being.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 18th 2023

    added pointer to:

    • Georg Kreisel, Mathematical Logic, in T. Saaty et al. (ed.), Lectures on Modern Mathematics III, Wiley New York (1965) 95-195

    diff, v5, current

1 to 2 of 2

  1.