How Does Proofs and Types Explore the Foundations of Mathematics and Logic?

[Kevin_Axion]

A Free Book "Proofs and Types"

http://www.mpi-sws.org/~dreyer/tor/papers/girard.pdf
Proofs and Types
Jean-Yves Girard
Translated and with appendices by:
Paul Taylor
Yves Lafont
Cambridge University Press
New York
Melbourne
New Rochelle
Sydney

Published by the Press Syndicate of the University of Cambridge
The Pitt Building, Trumpington Street, Cambridge CB2 1RP
32 East 57th Streey, New York, NY 10022, USA
10 Stamford Road, Oakleigh, Melbourne 3166, Australia

© Cambridge University Press, 1989
First Published 1989
Reprinted with minor corrections 1990
Reprinted for the Web 2003
Originally printed in Great Britain at the University Press, Cambridge
British Library Cataloguing in Publication Data available
Library of Congress Cataloguing in Publication Data available
ISBN 0 521 37181 3

 

[bcrowell]

I think this is the canonical place to get it: http://www.paultaylor.eu/stable/Proofs+Types.html

 

[re5tar]

By using spherical coordinates how can we get the volume of a right circular cylinder with radius a and height h