This book brings the researcher up to date with recent applications of mathematical logic to number theory.

Algebraic varieties are shapes defined by polynomial equations. Smooth Fano threefolds are a fundamental subclass that can be thought of as higher-dimensional g

The area of computational cryptography is dedicated to the development of effective methods in algorithmic number theory that improve implementation of cryptosy

This book provides the first thorough treatment of effective results and methods for Diophantine equations over finitely generated domains. Compiling diverse re

This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.