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 | •• |
54808 |
|
Peschke D.B. (pub.), Robertson T. (ed.) |
ShopNotes, Issue 81 |
2005 | •• |
54807 |
|
Dawkins R. |
Climbing Mount Improbable |
1996 | •• |
54806 |
|
Липницкий Ю.М., Красильников А.В., Покровский А.Н. |
Нестационарная аэродинамика баллистического полета |
2003 | •• |
54805 |
|
Гордеев Б.А., Ерофеев В.И., Синев А.В. |
Системы виброзащиты с использованием инерционности и диссипации реологических сред |
2004 | •• |
54804 |
|
Klaus H., Rateitschak E.M., Wolf H.F. |
Color Atlas of Periodontology |
1985 | •• |
54803 |
|
Peschke D.B. (pub.), Robertson T. (ed.) |
ShopNotes, Issue 66 |
2002 | •• |