real analysis proofs

Proof Theory and Automated Deduction - (Applied Logic) by Jean Goubault-Larrecq & I MacKie (Paperback)

Category Theory Applied to Computation and Control - (Lecture Notes in Computer Science) by E G Manes (Paperback)

Technical Analysis of Stock Trends by Robert D. Edwards and John Magee - by Robert Edwards & John Magee (Hardcover)

Pattern Recognition and Image Analysis - by Jordi Vitria & Joao Miguel Sanches & Mario Hernández (Paperback)

Stochastic Algorithms: Foundations and Applications - (Lecture Notes in Computer Science) by Kathleen Steinhöfel (Paperback)

Algorithmic Algebraic Combinatorics and Gröbner Bases - by Mikhail Klin & Gareth A Jones & Aleksandar Jurisic & Mikhail Muzychuk & Ilia Ponomarenko

Dynamical System Synchronization - (Nonlinear Systems and Complexity) by Albert C J Luo (Hardcover)

Bernstein Functions - (De Gruyter Studies in Mathematics) 3rd Edition by René L Schilling & Renming Song & Zoran Vondra&#269 & ek (Hardcover)

Hilbert Space Methods in Probability and Statistical Inference - (Wiley Probability and Statistics) (Hardcover)

Symbolic Open Systems - (De Gruyter Expositions in Mathematics) (Hardcover)

An Introduction to Diophantine Equations - by Titu Andreescu & Dorin Andrica & Ion Cucurezeanu (Hardcover)

Banach Algebras and Harmonic Analysis - by Mahmoud Filali (Hardcover)

Applied Principles of Mathematical Analysis - by Casper Geller (Hardcover)

Time Series Analysis and Its Applications - (Springer Texts in Statistics) 5th Edition by Robert H Shumway & David S Stoffer (Hardcover)

Advanced Topics in Mathematical Analysis and Applications - by Matt Ferrier (Hardcover)

Stability Analysis of Converter-Rich Power Grids - by Jun Liang & Chuanyue Li (Hardcover)

Block Diagram Implementation for Control Systems - by Ruba Al-Mulla Hummadi (Hardcover)

Sturm--Liouville and Dirac Operators - (Mathematics and Its Applications) by Levitan & I S Sargsjan (Hardcover)