| 21. | In 1940 Quine advanced NF to Mathematical Logic ( ML ).
|
| 22. | Shelah was acknowledged for contributions to mathematical logic and set theory.
|
| 23. | Woodin is a managing editor of the Journal of Mathematical Logic.
|
| 24. | It is also related to the concept of bounded quantification in mathematical logic.
|
| 25. | His seminars at Berkeley quickly became famous in the world of mathematical logic.
|
| 26. | His interests started primarily in analysis but moved into mathematical logic.
|
| 27. | The concept of a proof is formalized in the field of mathematical logic.
|
| 28. | He has published dozens of academic papers on mathematical logic and computer sciences.
|
| 29. | His interests include mathematical logic, category theory, and theoretical computer science.
|
| 30. | English language provides a rather poor approximation of mathematical logic.
|
