| 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 | •• |
| 54820 |
|
Grace J.H., Young A. |
The Algebra of Invariants |
1903 | •• |
| 54819 |
|
Enderton H.B. |
A Mathematical Introduction to Logic |
2001 • | •• |
| 54818 |
|
Chiarella C., Flaschel P., Franke R. |
Foundations for a Disequilibrium Theory of the Business Cycle: Qualitative Analysis and Quantitative Assessment |
2005 | •• |
| 54817 |
|
Êëÿ÷êèí Ë.Ì., Âèíîãðàäîâà Ì.Í. |
Ôèçèîòåðàïèÿ |
1995 • | •• |
| 54816 |
|
Äûíè÷ Â.È., Òîëêà÷åâà Å.À. |
Ôèçèêà: ó÷åáíîå ïîñîáèå äëÿ 10-ãî êëàññà. Ìåõàíèêà |
2007 • | •• |
| 54815 |
|
Äûíè÷ Â.È., Òîëêà÷åâà Å.À. |
Ôèçèêà: ó÷åáíîå ïîñîáèå äëÿ 10-ãî êëàññà. Ìåõàíè÷åñêèå êîëåáàíèÿ è âîëíû |
2007 • | •• |
| 54814 |
|
Æèëêî Â.Â., Ëàâðèíåíêî À.Â., Ìàðêîâè÷ Ë.Ã. |
Ôèçèêà: ó÷åáíîå ïîñîáèå äëÿ 11-ãî êëàññà |
2004 • | •• |
| 54813 |
|
Ôîðä Ë.Ð., Ôàëêåðñîí Ä.Ð. |
Ïîòîêè â ñåòÿõ |
1966 | •• |
| 54812 |
|
Æîëíåðåâè÷ È.È., Ìåäâåäü È.Í. |
Ôèçèêà: ó÷åá. ïîñîáèå äëÿ 10-ãî êëàññà |
2007 • | •• |
| 54811 |
|
Áðèí Â.Á. |
Ôèçèîëîãèÿ ÷åëîâåêà â ñõåìàõ è òàáëèöàõ |
1999 • | •• |
| 54810 |
|
Pietropaolo J., Pietropaolo P. |
Carnivorous Plants of the World |
1986 | •• |
| 54809 |
|
Dixon P.G. |
ÐÌÀ603: Set Theory |
1999 | •• |
|
|
Î ïðîåêòå