1. 12 × 12 Schlüsselkonzepte zur Mathematik. (2015) Authors: Deiser, Oliver; Lasser, Caroline; Vogt, Elmar; Werner, Dirk Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. ([2015]) Editors: Felty, Amy; Middeldorp, Aart, 1963- Other Names: International Conference on Automated Deduction, 25th Record Type: Book Extent: 1 online resource (xxviii, 640 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computational complexity of solving equation systems. (2015) Authors: Broniek, Przemysław Record Type: Book Extent: 1 online resource (ix, 64 pages), illustration View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Dag Prawitz on proofs and meaning. ([2015]) Other Names: Wansing, H (Heinrich) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Essays on Gödel's reception of Leibniz, Husserl, and Brouwer. ([2015]) Other Names: Atten, Markus Sebastiaan Paul Rogier van, 1973- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Facets of uncertainties and applications : ICFUA, Kolkata, India, December 2013 /: ICFUA, Kolkata, India, December 2013. ([2015]) Editors: Chakraborty, Mihir; Skowron, Andrzej; Māiti, Manorañjana; Kar, Samarjit Other Names: International Conference on Facets of Uncertainties and Applications Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings. (2015) Editors: Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel, 1967- Other Names: International Conference on Formal Concept Analysis, 13th Record Type: Book Extent: 1 online resource (xii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. From logic to practice : Italian studies in the philosophy of mathematics /: Italian studies in the philosophy of mathematics. ([2015]) Editors: Lolli, Gabriele, 1942-; Panza, Marco; Venturi, Giorgio Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Functions and generality of logic : reflections on Dedekind's and Frege's logicisms /: reflections on Dedekind's and Frege's logicisms. (2015) Authors: Benis-Sinaceur, Hourya; Panza, Marco; Sandu, Gabriel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Gentzen's centenary : the quest for consistency /: the quest for consistency. ([2015]) Editors: Kahle, Reinhard, 1967-; Rathjen, Michael Record Type: Book Extent: 1 online resource (x, 561 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗