A foundation of mathematics is a term sometimes used for assured fields of mathematics, like mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. The look for foundations of mathematics is as well a central question of the philosophy of mathematics: On what last basis can mathematical statements be called true?
This volume currents research results ranging from those in pure mathematical theory (semigroup theory, graph theory, etc.) to those in theoretical and applied computer science, e.g. proper languages, automata, codes, parallel and distributed computing, official systems, knowledge systems and the database theory.
This volume currents research results ranging from those in pure mathematical theory (semigroup theory, graph theory, etc.) to those in theoretical and applied computer science, e.g. proper languages, automata, codes, parallel and distributed computing, official systems, knowledge systems and the database theory.