Abstract
Programming languages such as BASIC, Pascal, and C are formal languages used for writing computer programs. A program usually implements an algorithm which describes the computational solution of a specific issue. This chapter introduces a different kind of formal language, known as a first-order language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer Basel
About this chapter
Cite this chapter
Li, W. (2014). Syntax of First-Order Languages. In: Mathematical Logic. Progress in Computer Science and Applied Logic, vol 25. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-0862-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0862-0_1
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-0861-3
Online ISBN: 978-3-0348-0862-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)