#NAME?: Proof Theory Constructive Mathematics
von
Gert H. Müller
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-662-09069-5
ISBN-10: 3-662-09069-4
Springer
· 2013
