Search for persons
X
?
2
Steps into Analytic Number Theory
A Problem-Based Introduction
Problem Books in Mathematics;Springer eBook Collection
?
3
A conversational introduction to algebraic number theory
arithmetic beyond Z
Student Mathematical Library ; volume 84
?
4
Types for Proofs and Programs
International Workshop, TYPES 2000 Durham, UK, December 8–1...
Lecture Notes in Computer Science ; 2277;SpringerLink, Bücher;Springer eBook Collection, Computer Science