This is an increasingly organized paper describing all logical frameworks from lower to higher levels of abstractions.
http://settheory.net
It does not require a major in mathematics to start learning it.
http://settheory.net
It does not require a major in mathematics to start learning it.
