Skip to main content
Have a personal or library account? Click to login
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms Cover

Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms

Formalized Mathematics
Volume 19 (2011): Issue 3 (September 2011)
By:   
Open Access
|Apr 2012
Download

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/v10037-011-0026-1 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 169 - 178
Published on: Apr 26, 2012
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
Logic and set theory,
Computer sciences,
Artificial intelligence

© 2012 Marco Caminati, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 19 (2011): Issue 3 (September 2011)