Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Metamathematics. --- Model theory. --- Algebra. --- Mathematics --- Mathematical analysis --- Logic, Symbolic and mathematical --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Ordered algebraic structures --- Malʹcev, Anatolij Ivanovič --- Malʹt︠s︡ev, A. I. --- Oeuvres --- Écrits. --- Algebra --- Metamathematics --- Model theory --- Algèbre --- Métamathématique --- Théorie des modèles --- ELSEVIER-B EPUB-LIV-FT --- Algebra. --- Metamathematics. --- Model theory. --- 510.67 --- 510.67 Theory of models --- Theory of models --- Logic, Symbolic and mathematical --- Mathematics --- Mathematical analysis --- Philosophy --- Écrits. --- Metamathematique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Switching theory --- Automata --- Commutation, Théorie de la --- Congresses --- Congrès --- Sequential Machine Theory --- FORMAL LANGUAGES --- SWITCHING THEORY --- Numerical calculations --- Formal languages --- -Numerical calculations --- -Sequential machine theory --- -Switching theory --- -#KVIV --- 681.3*F41 --- Automatic control --- Digital electronics --- Electric networks --- Electric switchgear --- Information theory --- Logic, Symbolic and mathematical --- Machine theory --- Mathematical physics --- System analysis --- Telecommunication --- Finite automata --- Finite state machines (Machine theory) --- Electronic digital computers --- Numerical analysis --- Formalization (Linguistics) --- Language and languages --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Sequential machine theory --- Congresses. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- #KVIV --- Sequential Machine Theory - Congresses --- FORMAL LANGUAGES - Congresses --- Switching theory - Congresses --- Numerical calculations - Congresses