Certified programs and proofs: First International Conference, CPP 2011, Kenting… by Jouannaud, Jean-Pierre, Shao, Zhong, International Conference on certified programs and proofs, Kenting, Taiwan) fromLecture Notes in Computer Science 0 Type: Book
Interactive theorem proving: second international conference, ITP 2011, Berg e… by Van Eekelen, Marko, Schmaltz, Julien, Geuvers, Herman, Wiedijk, Freek, International Conference on Interactive Theorem Proving, Berg en Dal, NL) fromLecture Notes in Computer Science 0 Type: Book
An accompaniment to higher mathematics by Exner, George R. fromUndergraduate texts in mathematics 0 Type: Book
Complexity of proofs and their transformations in axiomatic theories by Orevkov, Vladimir Pavlovič fromTranslations of mathematical monographs 0 Type: Book
Arithmetic, proof theory, and computational complexity by Takeuti, Gaisi fromOxford logic guides 0 Type: Book
Three views of logic: mathematic, philosophy and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, S. G. 0 Type: Book
Statistical learning with sparsity: the lasso and generalizations by Tibshirani, Robert, Hastie, Trevor, Wainwright, Martin fromMonographs on statistics and applied probability 0 Type: Book
How to read and do proofs: an introduction to mathematical thought processes by Solow, Daniel 0 Type: Book
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and fo… by Plato, Jan von fromSources and studies in the history of mathematics and physi… 0 Type: Book
The great formal machinery works: theories of deduction and computation at the orig… by Plato, Jan von 0 Type: Book
Theories for admissible sets: a unifying approach to proof theory by Jäger, Gerhard fromStudies in proof theory ; lecture notes 0 Type: Book
