54871 |
|
Ñèòåëü À.Á. |
Ãèìíàñòèêà äëÿ âíóòðåííèõ îðãàíîâ |
2006 • | •• |
54870 |
|
DiPippo R. |
Geothermal Power Plants: Principles, Applications, Case Studies and Environmental Impact |
2007 • | •• |
54869 |
|
Èñàêîâ Â.À., Áîðèñîâà Â.Â., Èñàêîâ Ä.Â. |
Ãåðïåñ: ïàòîãåíåç è ëàáîðàòîðíàÿ äèàãíîñòèêà. Ðóêîâîäñòâî äëÿ âðà÷åé |
1999 • | •• |
54868 |
|
Gatheral J. |
The Volatility Surface: A Practitioner's Guide |
2006 • | •• |
54867 |
|
Barut A.O., Raczka R. |
Theory of Group Representations and Applications |
1980 • | •• |
54866 |
|
Mallory G.O. (ed.), Hajdu J.B. (ed.) |
Electroless Plating: Fundamentals And Applications |
n/a • | •• |
54865 |
|
Flanagan R.J., Taylor A., Watson I.D. |
Fundamentals of Analytical Toxicology |
2007 • | •• |
54864 |
|
Rossi I. (ed.) |
Frontiers of Globalization Research: Theoretical and Methodological Approaches |
2007 • | •• |
54863 |
|
Chevalley C. |
Theory of Lie Groups I |
1946 • | •• |
54862 |
|
Drinfel'd V.G. |
Quantum group |
1988 | •• |
54861 |
|
Kneebone G.T. |
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey |
1963 | •• |
54860 |
|
Cohen A., Ushirobira R., Draisma J. |
Group Theory for Maths, Physics and Chemistry |
2002 | •• |
54859 |
|
Sachkov V.N., Tarakanov V.E. |
Combinatorics of Nonnegative Matrices |
2002 | •• |
54858 |
|
Harrington L.A. (ed.), Simpson S.G. (ed.), Morley M.D. (ed.) |
Harvey Friedman's Research on the Foundations of Mathematics |
1985 | •• |
54857 |
|
Humphreys J.E. |
Introduction To Lie Algebras And Representation Theory |
1972 • | •• |
54856 |
|
Strang G. |
Linear Algebra and Its Applications |
1988 • | •• |
54855 |
|
Huang J.-S., Pandžić P. |
Dirac Operators in Representation Theory |
2006 | •• |
54854 |
|
Monk J.D. |
Mathematical Logic |
1976 | •• |
54853 |
|
Barwise J. (ed.) |
Handbook of Mathematical Logic |
1977 | •• |
54852 |
|
Causey R.L. |
Logic, Sets, and Recursion |
1994 | •• |
54851 |
|
Bennett D.J. |
Logic Made Easy: How to Know When Language Deceives You |
2004 | •• |
54850 |
|
Barwise J. |
The Situation in Logic |
1989 | •• |
54849 |
|
Harel D., Tiuryn J., Kozen D. |
Dynamic Logic |
2000 | •• |
54848 |
|
Hurley P. |
Concise Introduction to Logic |
2006 • | •• |
54847 |
|
Franzén T. |
G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse |
2005 | •• |
54846 |
|
Smullyan R.M. |
Recursion Theory for Metamathematics |
1993 | •• |
54845 |
|
Stenlund S. |
Combinators, λ-Terms and Proof Theory |
1972 | •• |
54844 |
|
Collingwood D.H., McGovern W.M. |
Nilpotent Orbits in Semisimple Lie Algebras |
1993 | •• |
54843 |
|
Ebbinghaus H.-D., Flum J. |
Finite Model Theory |
2006 • | •• |
54842 |
|
Tourlakis G.J. |
Lectures in Logic and Set Theory: Set Theory |
2003 | •• |
54841 |
|
Shand J. |
Arguing Well |
2000 | •• |
54840 |
|
Herrlich H. |
Axiom Of Choice |
2006 | •• |
54839 |
|
Farin G., Hansford D. |
Practical Linear Algebra: A Geometry Toolbox |
2005 | •• |
54838 |
|
Erdmann K. (ed.), Wildon M.J. (ed.) |
Introduction To Lie Algebras |
2006 | •• |
54837 |
|
Benacerraf P. (ed.), Putnam H. (ed.) |
Philosophy of Mathematics: Selected Readings |
1983 • | •• |
54836 |
|
Bell J.L. |
Set Theory: Boolean-valued Models and Independence Proofs |
2005 • | •• |
54835 |
|
Usmani R.A. |
Applied Linear Algebra |
1987 | •• |
54834 |
|
Robinson D.J.S. |
A Course in Linear Algebra with Applications |
1991 | •• |
54833 |
|
Ursini A. (ed.), Aglianò P. (ed.) |
Logic and Algebra |
1996 | •• |
54832 |
|
Tourlakis G.J. |
Lectures in Logic and Set Theory: Mathematical Logic |
2003 | •• |
54831 |
|
Shores T.S. |
Applied Linear Algebra And Matrix Analysis |
2007 | •• |
54830 |
|
Caenepeel S. (ed.), Van Oystaeyen F. (ed.) |
Hopf Algebras and Quantum Groups: Proceedings of the Brussels Conference |
2000 | •• |
54829 |
|
Hein J.L. |
Discrete Structures, Logic, and Computability |
1995 | •• |
54828 |
|
Nicholson W.K. |
Linear Algebra with Applications |
1995 • | •• |
54827 |
|
Bezrukavnikov R., Finkelberg M., Schechtman V. |
Factorizable Sheaves And Quantum Groups |
1998 | •• |
54826 |
|
Minc H. |
Nonnegative Matrices |
1988 | •• |
54825 |
|
Scott R.F. |
The Theory of Determinants and Their Applications |
1904 • | •• |
54824 |
|
Ben-Ari M |
Mathematical Logic for Computer Science |
2001 • | •• |
54822 |
|
Magnus J.R., Neudecker H. |
Matrix Differential Calculus with Applications in Statistics and Econometrics |
2007 • | •• |
54821 |
|
Valeriote M. (ed.), Hart M. (ed.) |
Lectures on Algebraic Model Theory |
2002 | •• |