Previous
Next
Journal
- journal of symbolic logic5
- bmc medical research methodology4
- ieee transactions on automatic control1
- ieee transactions on computers1
- ieee transactions on education1
- ieee transactions on electronic computers1
- ieee transactions on reliability1
- mathematical and computer modelling1
- people, problems, and proofs : essays from godel's lost letter: 20101