Connexions

Sections
You are here: Home » Content » First-Order Logic: bound variables, free variables

About: First-Order Logic: bound variables, free variables

Module by: Ian Barland, John Greiner, Phokion Kolaitis, Matthias Felleisen, Moshe Vardi. E-mail the authors

View content

Metadata

Name: First-Order Logic: bound variables, free variables
ID: m12081
Language: English (en)
Summary:
Subject: Mathematics and Statistics
Keywords:
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Matthias Felleisen (matthias@ccs.neu.edu), Moshe Vardi (vardi@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Matthias Felleisen (matthias@ccs.neu.edu), Moshe Vardi (vardi@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Fuching Chi (iamjack@rice.edu), Bri (c@rice.edu), Bryan Cash (seleniat@rice.edu), Sarah Trowbridge (set@rice.edu)
Latest version: 1.7 (history)
First publication date: Jul 1, 2004 12:51 pm GMT-5
Last revision to module: Jan 9, 2009 10:42 am US/Central
Module XML: m12081_1.7.cnxml

Version History

Version: 1.7 Jan 9, 2009 10:42 am US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.6 Jan 7, 2009 12:10 pm US/Central by John Greiner
Changes: 
Improved MathML
Version: 1.5 Dec 7, 2007 10:55 am US/Central by John Greiner
Changes: 
Minor wording fix.
Version: 1.4 Mar 9, 2005 7:17 pm US/Central by Ian Barland
Changes: 
role updates.
Version: 1.3 Aug 3, 2004 11:11 am GMT-5 by Sarah Trowbridge
Changes: 
new name
Version: 1.2 Aug 2, 2004 11:26 am GMT-5 by Sarah Trowbridge
Changes: 
reorganization
Version: 1.1 Jul 1, 2004 12:51 pm GMT-5 by Sarah Trowbridge
Changes: 
created

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: Ian Barland, John Greiner, Phokion Kolaitis, Matthias Felleisen, Moshe Vardi
  • the title of the work: First-Order Logic: bound variables, free variables
  • the Connexions URL where the work can be found: http://cnx.org/content/m12081/1.7/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I.; Greiner, J.; Kolaitis, P.; Felleisen, M.; Vardi, M. First-Order Logic: bound variables, free variables, Connexions Web site. http://cnx.org/content/m12081/1.7/, Jan 9, 2009.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Kolaitis P, Felleisen M, Vardi M. First-Order Logic: bound variables, free variables [Connexions Web site]. January 9, 2009. Available at: http://cnx.org/content/m12081/1.7/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., Kolaitis, P., Felleisen, M., & Vardi, M. (2009, January 9). First-Order Logic: bound variables, free variables. Retrieved from the Connexions Web site: http://cnx.org/content/m12081/1.7/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, Phokion Kolaitis, Matthias Felleisen, and Moshe Vardi. "First-Order Logic: bound variables, free variables." Connexions. January 9, 2009. http://cnx.org/content/m12081/1.7/.

Chicago Manual of Style (Note):

Ian Barland and others, "First-Order Logic: bound variables, free variables," Connexions, January 9, 2009, http://cnx.org/content/m12081/1.7/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Greiner, J., Kolaitis, P., Felleisen, M., & Vardi, M. 2009. First-Order Logic: bound variables, free variables. Connexions, January 9, 2009. http://cnx.org/content/m12081/1.7/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, Phokion Kolaitis, Matthias Felleisen, and Moshe Vardi. First-Order Logic: bound variables, free variables. Connexions. 9 Jan. 2009 <http://cnx.org/content/m12081/1.7/>.