NotesWhat is notes.io?

Notes brand slogan

Notes - notes.io

intermediate logic + Brisk revision of Chiswell's and Hodges' Mathematical Logic
Hebert Enderton's book mathematical logic + Herbert Enderton, ‘Second-order and Higher-order Logic’,
Non-Classical Logic and SEP on classical Logic
Metatheory: Leary friendly intro to mathematical logic
Model theory: Derek Goldrei’s Propositional and Predicate Calculus: A Model of Argument (4.4 and 4.5 and 6) + Model Theory by maria manzano
Formal systems: Philosophy and Model Theory

Brief into Godel's Incompleteness
Herbert Enderton, ‘Second-order and Higher-order Logic’,
Elements of Logical Reasoning
First-order logic
'The development of proof theory’
Dag Prawitz, Natural Deduction: A Proof-Theoretic Study*
Sara Negri and Jan von Plato, Structural Proof Theory

Modal Logic

Herbert B. Enderton’s, The Elements of Set Theory, l, ‘The Axiom of Choice’, The Stanford Encyclopedia of Philosophy
Lecture notes
First-order modal logic
Modal Logic: an introduction to its syntax and semantics
Modal Logic as metaphysics
     
 
what is notes.io
 

Notes.io is a web-based application for taking notes. You can take your notes and share with others people. If you like taking long notes, notes.io is designed for you. To date, over 8,000,000,000 notes created and continuing...

With notes.io;

  • * You can take a note from anywhere and any device with internet connection.
  • * You can share the notes in social platforms (YouTube, Facebook, Twitter, instagram etc.).
  • * You can quickly share your contents without website, blog and e-mail.
  • * You don't need to create any Account to share a note. As you wish you can use quick, easy and best shortened notes with sms, websites, e-mail, or messaging services (WhatsApp, iMessage, Telegram, Signal).
  • * Notes.io has fabulous infrastructure design for a short link and allows you to share the note as an easy and understandable link.

Fast: Notes.io is built for speed and performance. You can take a notes quickly and browse your archive.

Easy: Notes.io doesn’t require installation. Just write and share note!

Short: Notes.io’s url just 8 character. You’ll get shorten link of your note when you want to share. (Ex: notes.io/q )

Free: Notes.io works for 12 years and has been free since the day it was started.


You immediately create your first note and start sharing with the ones you wish. If you want to contact us, you can use the following communication channels;


Email: [email protected]

Twitter: http://twitter.com/notesio

Instagram: http://instagram.com/notes.io

Facebook: http://facebook.com/notesio



Regards;
Notes.io Team

     
 
Shortened Note Link
 
 
Looding Image
 
     
 
Long File
 
 

For written notes was greater than 18KB Unable to shorten.

To be smaller than 18KB, please organize your notes, or sign in.