Advances in Intensional Logic
Maarten de Rijke
Modernize your CI-CD
GitLab
The Truth About an Author
Arnold Bennett & P. J. Harvey Darton & Kris Madden
Decision Diagrams for Optimization
David Bergman & Andre A. Cire & Willem-Jan van Hoeve & John Hooker
Continuum Mechanics using Mathematica®
Antonio Romano & Addolorata Marasco
Modeling and Simulation in Science, Engineering and Technology (1)
Michael Dummett
Crispin Wright & Barry M. Taylor
Nijhoff International Philosophy Series (25)