An Introduction To Mathematical Logic and Type Theory: Truth Through Proof (Applied Series, 27, Band 27)

Type Theory and Formal Proof: An Introduction

An Introduction to the Mathematical Theory of Inverse Problems (Applied Sciences, Band 120)

An Introduction to Theory and Applications of Stationary Variational Hemivariational Inequalities (Applied...

A Practical Guide to Splines (Applied Mathematical Sciences, 27, Band 27)