Handbook of Constructive Mathematics Bridges, Douglas Rathjen, Michael Schwichtenberg, Helmut Ishihara, Hajime 9781316510865 Encyclopedia of Mathematics and its Applications Innbundet 11.05.2023 Engelsk Produseres på bestilling
Proofs and Computations Schwichtenberg, Helmut Wainer, Stanley S. 9780521517690 Perspectives in Logic Innbundet 15.12.2011 Engelsk Produseres på bestilling
