Works matching DE "FAMOUS problems in symbolic %26 mathematical logic"
Results: 10
MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 19-24, p. 335, doi. 10.1002/malq.19840301908
- By:
- Publication type:
- Article
Experimental programs.
- Published in:
- Journal of Teacher Education, 1950, v. 1, n. 4, p. 332
- By:
- Publication type:
- Article
The Cube, the Square and the Problem of Existential Import.
- Published in:
- History & Philosophy of Logic, 2013, v. 34, n. 2, p. 101, doi. 10.1080/01445340.2013.764962
- By:
- Publication type:
- Article
Cantor on Frege's Foundations of Arithmetic: Cantor's 1885 Review of Frege's Die Grundlagen der Arithmetik.
- Published in:
- History & Philosophy of Logic, 2009, v. 30, n. 4, p. 341, doi. 10.1080/01445340903102813
- By:
- Publication type:
- Article
Lesniewski and Russell's Paradox: Some Problems.
- Published in:
- History & Philosophy of Logic, 2008, v. 29, n. 2, p. 115, doi. 10.1080/01445340701550817
- By:
- Publication type:
- Article
Hilbert's Grand Hotel with a series twist.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2014, v. 45, n. 6, p. 904, doi. 10.1080/0020739X.2013.872307
- By:
- Publication type:
- Article
The Burden of Proof and Its Role in Argumentation.
- Published in:
- Argumentation, 2007, v. 21, n. 1, p. 39, doi. 10.1007/s10503-007-9022-6
- By:
- Publication type:
- Article
Book Review.
- Published in:
- 2007
- By:
- Publication type:
- Book Review
New MILP models for the permutation flowshop problem.
- Published in:
- Journal of the Operational Research Society, 2008, v. 59, n. 10, p. 1373, doi. 10.1057/palgrave.jors.2602455
- By:
- Publication type:
- Article
Sum and Product in Dynamic Epistemic Logic.
- Published in:
- Journal of Logic & Computation, 2008, v. 18, n. 4, p. 563
- By:
- Publication type:
- Article