Sign In

Login

Password

Forgot Password ? Sign Up

Well-formed formula (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Well-formed formula" in English language version.

refsWebsite
Global rank English rank
10google.com.br
622nd place
low place
2books.google.com
3rd place
3rd place

books.google.com

  • First-order logic and automated theorem proving, Melvin Fitting, Springer, 1996 [1]
  • Handbook of the history of logic, (Vol 5, Logic from Russell to Church), Tarski's logic by Keith Simmons, D. Gabbay and J. Woods Eds, p568 [2].

google.com.br

  • Gensler, Harry (2002-09-11). Introduction to Logic. Routledge. p. 35. ISBN 978-1-134-58880-0.
  • Hall, Cordelia; O'Donnell, John (2013-04-17). Discrete Mathematics Using a Computer. Springer Science & Business Media. p. 44. ISBN 978-1-4471-3657-6.
  • Agler, David W. (2013). Symbolic Logic: Syntax, Semantics, and Proof. Rowman & Littlefield. p. 41. ISBN 978-1-4422-1742-3.
  • Simpson, R. L. (2008-03-17). Essentials of Symbolic Logic - Third Edition. Broadview Press. p. 14. ISBN 978-1-77048-495-5.
  • Laderoute, Karl (2022-10-24). A Pocket Guide to Formal Logic. Broadview Press. p. 59. ISBN 978-1-77048-868-7.
  • Maurer, Stephen B.; Ralston, Anthony (2005-01-21). Discrete Algorithmic Mathematics, Third Edition. CRC Press. p. 625. ISBN 978-1-56881-166-6.
  • Martin, Robert M. (2002-05-06). The Philosopher's Dictionary - Third Edition. Broadview Press. p. 323. ISBN 978-1-77048-215-9.
  • Date, Christopher (2008-10-14). The Relational Database Dictionary, Extended Edition. Apress. p. 211. ISBN 978-1-4302-1042-9.
  • Date, C. J. (2015-12-21). The New Relational Database Dictionary: Terms, Concepts, and Examples. "O'Reilly Media, Inc.". p. 241. ISBN 978-1-4919-5171-2.
  • Simpson, R. L. (1998-12-10). Essentials of Symbolic Logic. Broadview Press. p. 12. ISBN 978-1-55111-250-3.