4161 results in Numerical analysis and computational science
INSTANTIAL NEIGHBOURHOOD LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 19 December 2016, pp. 116-144
- Print publication:
- March 2017
-
- Article
- Export citation
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 15 December 2016, pp. 187-202
- Print publication:
- March 2017
-
- Article
- Export citation
ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 06 December 2016, pp. 259-283
- Print publication:
- June 2017
-
- Article
- Export citation
PROVING UNPROVABILITY
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 November 2016, pp. 92-115
- Print publication:
- March 2017
-
- Article
- Export citation
RSL volume 9 issue 4 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 08 November 2016, pp. f1-f4
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
RSL volume 9 issue 4 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 08 November 2016, pp. b1-b2
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 28 October 2016, pp. 158-186
- Print publication:
- March 2017
-
- Article
- Export citation
LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 28 October 2016, pp. 51-64
- Print publication:
- March 2017
-
- Article
- Export citation
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 25 October 2016, pp. 145-157
- Print publication:
- March 2017
-
- Article
- Export citation
TRIAL AND ERROR MATHEMATICS II: DIALECTICAL SETS AND QUASIDIALECTICAL SETS, THEIR DEGREES, AND THEIR DISTRIBUTION WITHIN THE CLASS OF LIMIT SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 17 October 2016, pp. 810-835
- Print publication:
- December 2016
-
- Article
- Export citation
IBN SĪNĀ ON REDUCTIO AD ABSURDUM
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 17 October 2016, pp. 583-601
- Print publication:
- September 2017
-
- Article
- Export citation
GENERALIZING BOOLOS’ THEOREM
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 17 October 2016, pp. 80-91
- Print publication:
- March 2017
-
- Article
- Export citation
On the double Laplace transform of the truncated variation of a Brownian motion with drift
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 October 2016, pp. 281-292
-
- Article
-
- You have access
- Export citation
Analysis of semilocal convergence for ameliorated super-Halley methods with less computation for inversion
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 October 2016, pp. 293-302
-
- Article
-
- You have access
- Export citation
On a Li-type criterion for zero-free regions of certain Dirichlet series with real coefficients
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 1 / 2016
- Published online by Cambridge University Press:
- 01 October 2016, pp. 259-280
-
- Article
-
- You have access
- Export citation
On the characters of the Sylow
$p$-subgroups of untwisted Chevalley groups
$Y_{n}(p^{a})$
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 19 / Issue 2 / 2016
- Published online by Cambridge University Press:
- 01 October 2016, pp. 303-359
-
- Article
-
- You have access
- Export citation
PRIVATIVE NEGATION IN THE PORT ROYAL LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 19 September 2016, pp. 664-685
- Print publication:
- December 2016
-
- Article
- Export citation
RSL volume 9 issue 3 Cover and Back matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 09 September 2016, pp. b1-b4
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
RSL volume 9 issue 3 Cover and Front matter
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 09 September 2016, pp. f1-f4
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
SURREAL TIME AND ULTRATASKS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 August 2016, pp. 836-847
- Print publication:
- December 2016
-
- Article
- Export citation