MathematicalPhysicist
Gold Member
- 4,026
- 118
what are the current open problems in logic? in model theory, proof theory and philosophical logic? and what are the trends in research? what do researchers pay more attention to?
p.s
is there any book which gives an outline on the open problems in logic?
p.s
is there any book which gives an outline on the open problems in logic?