Formal Mathematical Logic

From GM-RKB
Jump to navigation Jump to search

A Formal Mathematical Logic is a formal logic for mathematical statements.



References

2014a

  1. Undergraduate texts include Boolos, Burgess, and Jeffrey (2002), Enderton (2001), and Mendelson (1997). A classic graduate text by Shoenfield (2001) first appeared in 1967.

2014b

2002

  • (Boolos et al., 2002) ⇒ George Boolos, John Burgess, and Richard Jeffrey. (2002). “Computability and Logic (4th ed.)" Cambridge University Press. ISBN:9780521007580

2001

  • Herbert Enderton. (2001). “A Mathematical Introduction to Logic (2nd ed.).” Academic Press, ISBN:978-0-12-238452-3 .
  • Joseph R. Shoenfield. (2001). “Mathematical Logic (2nd ed.)" A K Peters. ISBN:978-1-56881-135-2

1997

  • (Mendelson, 1997) ⇒ Elliott Mendelson. (1997). “Introduction to Mathematical Logic (4th ed.)" Chapman & Hall. ISBN:978-0-412-80830-2 .

1967

  • (Shoenfield, 1967 => Joseph R. Shoenfield (1967). “Mathematical Logic (1st ed.).” Addison-Wesley. ISBN:0201070286