Proofs and Types

Format Post in Foreign Languages BY Jean-Yves Girard, Paul Taylor, Yves Lafont

0521371813 Shared By Guest

Proofs and Types Jean-Yves Girard, Paul Taylor, Yves Lafont is available to download <table><tr><td colspan="2"><strong style="font-size:1.This material is available do download at on Jean-Yves Girard, Paul Taylor, Yves Lafont's eBooks, 2em;">Proofs and Types</strong><br/>Jean-Yves Girard, Paul Taylor, Yves Lafont</td></tr> <tr> <td><b>Type:</b></td> <td>eBook</td> </tr> <tr> <td><b>Released:</b></td> <td>1989</td> </tr> <tr> <td><b>Publisher:</b></td> <td>Cambridge University Press</td> </tr> <tr> <td><b>Page Count:</b></td> <td>187</td> </tr> <tr> <td><b>Format:</b></td> <td>djvu</td> </tr> <tr> <td><b>Language:</b></td> <td>English</td> </tr> <tr> <td><b>ISBN-10:</b></td> <td>0521371813</td> </tr> <tr> <td><b>ISBN-13:</b></td> <td>9780521371810</td> </tr> </table> This book is derived from notes prepared by J-Y.Proofs and Types Textbook Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.

Comments (0)

Currently,no comments for this book!