General Logic.

Mathematical Logic = Exercises and Solutions / by: (書目-語言資料,印刷品)

Logic - Language - Ontology = Selected Works / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering.

Mathematical logic.

Computer science—Mathematics.

Computer networks .

Artificial intelligence.

Set Theory.

Computer Communication Networks.

Computers, Special purpose.

Software engineering.

Model theory.

Mathematics of Computing.

Logic.

Mathematical Logic and Foundations.

Formal Logic.

Artificial Intelligence.

Set theory.

Special Purpose and Application-Based Systems.

Model Theory.

General Logic.

Philosophical Logic.

Mathematics—Philosophy.

Philosophy of Mathematics.