Cramer, Marcos Implicit dynamic function introduction and Ackermann-like function theory. (English) Zbl 1430.03052 Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 23-34 (2017). MSC: 03B65 03E70 PDFBibTeX XMLCite \textit{M. Cramer}, Stud. Log. (Lond.) 70, 23--34 (2017; Zbl 1430.03052)
Vértesi, Vera Braids in contact 3-manifolds. (English) Zbl 1422.57070 Winter Braids Lect. Notes 4, Exp. No. 4, 23 p. (2017). MSC: 57R17 53D10 57M25 20F36 57-02 53-02 PDFBibTeX XMLCite \textit{V. Vértesi}, Winter Braids Lect. Notes 4, Exp. No. 4, 23 p. (2017; Zbl 1422.57070) Full Text: DOI
Pei, Xin; Zhan, Xiu-Xiu; Jin, Zhen Application of pair approximation method to modeling and analysis of a marriage network. (English) Zbl 1411.92253 Appl. Math. Comput. 294, 280-293 (2017). MSC: 92D25 05C80 PDFBibTeX XMLCite \textit{X. Pei} et al., Appl. Math. Comput. 294, 280--293 (2017; Zbl 1411.92253) Full Text: DOI
Sale, R. Samuel; Mesak, Hani I.; Inman, R. Anthony A dynamic marketing-operations interface model of new product updates. (English) Zbl 1394.90380 Eur. J. Oper. Res. 257, No. 1, 233-242 (2017). MSC: 90B60 90B30 90B05 90B50 91B24 90C31 PDFBibTeX XMLCite \textit{R. S. Sale} et al., Eur. J. Oper. Res. 257, No. 1, 233--242 (2017; Zbl 1394.90380) Full Text: DOI
Priest, Graham Logic. A very short introduction. 2nd updated edition. (English) Zbl 1383.03001 Very Short Introductions 29. Oxford: Oxford University Press (ISBN 978-0-19-881170-1/pbk). xxiii, 156 p. (2017). Reviewer: M. Yasuhara (Princeton) MSC: 03-01 00A05 PDFBibTeX XMLCite \textit{G. Priest}, Logic. A very short introduction. 2nd updated edition. Oxford: Oxford University Press (2017; Zbl 1383.03001) Full Text: DOI
Shangin, Vasilyi Olegovich A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\)). (English) Zbl 1417.03203 Log. Issled. 23, No. 1, 83-104 (2017). MSC: 03B60 PDFBibTeX XMLCite \textit{V. O. Shangin}, Log. Issled. 23, No. 1, 83--104 (2017; Zbl 1417.03203) Full Text: DOI
Pieper, Martin Mathematical optimization. An introduction to continuous optimization with examples. (Mathematische Optimierung. Eine Einführung in die kontinuierliche Optimierung mit Beispielen.) (German) Zbl 1387.90002 Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-16974-9/pbk; 978-3-658-16975-6/ebook). ix, 53 p. (2017). Reviewer: Jörg Thierfelder (Ilmenau) MSC: 90-01 00A06 90C05 90C25 90C49 90C90 PDFBibTeX XMLCite \textit{M. Pieper}, Mathematische Optimierung. Eine Einführung in die kontinuierliche Optimierung mit Beispielen. Wiesbaden: Springer Spektrum (2017; Zbl 1387.90002) Full Text: DOI
Waldmann, Stefan Linear algebra I. The foundations for students of mathematics and physics. (Lineare Algebra I. Die Grundlagen für Studierende der Mathematik und Physik.) (German) Zbl 1357.15001 Heidelberg: Springer Spektrum (ISBN 978-3-662-49913-9/pbk; 978-3-662-49914-6/ebook). xvii, 455 p. (2017). Reviewer: Rabe von Randow (Bonn) MSC: 15-01 00A05 00A06 00A35 15A23 15A60 15A03 15A06 15A15 15A18 15A21 15B48 15B57 65F20 PDFBibTeX XMLCite \textit{S. Waldmann}, Lineare Algebra I. Die Grundlagen für Studierende der Mathematik und Physik. Heidelberg: Springer Spektrum (2017; Zbl 1357.15001) Full Text: DOI