Formal Proofs in Elementary Set Theory: Rules of Logic for Zermelo Theory (SpringerBriefs Applied Sciences and Technology)

Butterfly Optimization Algorithm: Theory and Engineering Applications (SpringerBriefs in Applied Sciences Technology)

The Logic of Number Theory Proofs (Proofs in Theory)

Navigating Safety: Necessary Compromises and Trade-Offs - Theory Practice (SpringerBriefs in Applied Sciences Technology)