Logic, Symbolic and mathematical.

Logic, language, and computation / by: (Language materials, printed)

Mathematical logic for computer science / by: (Language materials, printed)

Logic for computer science :foundations of automatic theorem proving / by: (Language materials, printed)

Mechanical logic in three-dimensional space / by: (Language materials, printed)

Lectures on the logic of computer programming / by: (Electronic resources)

Basics for numerical and symbolic computation / by: (Language materials, printed)

Computational linguistics.

Logic, Symbolic and mathematical.

Numerical analysis.

Automatic theorem proving.

Language and logic.

Computer programming.