Examples of using Mathematical logic in English and their translations into Hungarian
{-}
- 
                        Colloquial
                    
- 
                        Official
                    
- 
                        Medicine
                    
- 
                        Ecclesiastic
                    
- 
                        Financial
                    
- 
                        Programming
                    
- 
                        Official/political
                    
- 
                        Computer
                    
His revolutionary new logic  was the origin of modern mathematical logic- a field of import not only to abstract mathematics,
Gödel tried to“prove” the existence of God as a theorem starting from a set of five axioms that seem“obvious” as part of Mathematical Logic.
algebra and mathematical logic.
25 of them I devoted to mathematics and mathematical logic.
His publications included works on quantum theory, mathematical logic, ergodic theory,
In 1959 Kaluznin became Head of the Department of Algebra and Mathematical Logic, a department created as a result of his own initiative.
On the one hand mathematical logic was a surprising choice,
Research research area mathematical logic, algebraic logic, 
For his doctoral thesis he studied mathematical logic which was a surprising choice,
There is a lot of ways in which the law doesn't respond to mathematical logic.
their shapes a truly mathematical logic.
Kaluznin was forced to leave his position as Head of the Department of Algebra and Mathematical Logic, though he retained his professorship at Kiev State University until 1985.
producing a synthesis of algebra and mathematical logic.
the theory of types was further developed by Russell in his 1908 article‘Mathematical Logic as Based on the Theory of Types' and in the monumental work he
his theory of types finds its mature expression in his 1908 article Mathematical Logic as Based on the Theory of Types and in the monumental work he
the theory found its mature expression five years later in his 1908 article"Mathematical Logic as Based on the Theory of Types" and in the monumental work he
when he took part in a seminar run by Moritz Schlick which studied Bertrand Russell's book‘Introduction to mathematical  philosophy' he became interested in mathematical logic.
he became interested in mathematical logic.
applications- pure mathematical logic, applications of logic  in(and logical foundations of)
V A Uspenskii, a pupil of Kolmogorov, organised a seminar during Novikov's first year as a student in which problems in set theory, mathematical logic, and functions of a real variable were studied.