- #1
MathematicalPhysicist
Gold Member
- 4,699
- 371
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?