Baaz
Baaz, Matthias
Methods of cut-elimination
Dordrecht : Springer, 2011. vi, 257 p.
QA9.54 B33
Baaz, Matthias
Methods of cut-elimination
Dordrecht : Springer, 2011. vi, 257 p.
QA9.54 B33
Agarwal, Ravi P.
Fixed point theory for Lipschitzian-type mappings with applications
Dordrecht ; Springer, 2009. x, 368 p. -- (Topological fixed point theory and its applications ; vol. 6)
QA329.9 A36
Nau, Tobias
Lp-theory of cylindrical boundary value problems : an operator-valued Fourier multiplier and functional calculus approach
Wiesbaden : Springer Spektrum, 2012. xi, 188 p. -- (Research)
QA379 N38
Fajstrup, Lisbeth
Directed algebraic topology and concurrency
Switzerland : Springer, 2016. xi, 167 p.
QA76.9M35 F35
Pinkus, Allan
Ridge functions
Cambridge, United Kingdom : Cambridge University Press, 2015. x, 207 p. -- (Cambridge tracts in mathematics ; vol. 205)
QA323 P55