| 33044 |
|
Makkai M., Reyes G.E. |
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories |
1977 | •• |
| 33043 |
|
Scedrov A., Nerode A., Sacks G.E. |
Logic and Computer Science: Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988 |
1990 | •• |
| 33042 |
|
Stoll M. |
Linear Algebra II |
2007 | •• |
| 33041 |
|
Stoll M. |
Linear Algebra I |
2007 | •• |
| 33039 |
|
Zhang W. |
Lectures on Chern-Weil Theory and Witten Deformations |
2001 | •• |
| 33038 |
|
Gardiner A. |
Infinite Processes: Background to Analysis |
1982 | •• |
| 33036 |
|
Kueker D.W. |
Infinitary Logic: In Memoriam Carol Karp |
1975 | •• |
| 33035 |
|
Mueller G.H. (Ed), Scott D.S. (Ed) |
Higher Set Theory: Proceeding, Oberwolfach |
1978 | •• |
| 33034 |
|
Polya G., Latta G. |
Complex Variables |
1974 | •• |
| 33033 |
|
Zhang M.L. (Ed) |
Differential Geometry and Physics: Proceedings of the 23rd International Conference of Differential Geometric Methods in Theoretical Physics |
2006 | •• |
| 33032 |
|
Leitsch A. (Ed) |
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128 |
1997 | •• |
| 33031 |
|
Duparc J. |
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings |
2007 | •• |
| 33030 |
|
Baaz M. (Ed), Makowsky J.M. (Ed) |
Computer Science Logic |
2003 | •• |
| 33029 |
|
Congdon P. |
Bayesian Statistical Modelling |
2007 • | •• |
| 33028 |
|
Devlin K.J. |
Aspects of Constructibility |
1973 | •• |
| 33027 |
|
Fourman M.P. (Ed), Scott D.S., Mulvey C.J. |
Applications of Sheaves |
1979 | •• |
| 33026 |
|
Bartolo A., Falcone G. |
Algebraic Groups and Lie Groups with Few Factors (Lecture Notes in Mathematics) |
2008 | •• |
| 33025 |
|
Crossley J.N. (Ed) |
Algebra and Logic: Proceedings of the Australian Mathematical Society, 14th, Australia, Jan. 6, 1974 |
1975 | •• |
| 33024 |
|
Srivastava Sh.M. |
Course on Mathematical Logic |
2008 | •• |
| 33023 |
|
Macias S. |
Topics on Continua |
2005 | •• |
| 33022 |
|
Klee V., Wagon S. |
Old and New Unsolved Problems in Plane Geometry and Number Theory (Dolciani Mathematical Expositions Series #11) |
1991 | •• |
| 33021 |
|
Paoli F. |
Substructural Logics: A Primer |
2002 | •• |
| 33020 |
|
Makarov B.M. |
Selected Problems in Real Analysis |
1992 | •• |
| 33019 |
|
Polya G. |
Problems and Theorems in Analysis: Theory of Functions. Zeros. Polynomials. Determinants. Number Theory. Geometry |
1997 | •• |
| 33018 |
|
Petz D. |
Leuven Notes in Mathematical and Theoretical Physics, Vol. 2 |
1990 | •• |
| 33017 |
|
Vandendriessche P., Lee H. |
Problems in Elementary Number Theory |
2007 | •• |
| 33016 |
|
Kaczor W.J., Nowak M.T. |
Problems in Mathematical Analysis ll: Continuity and Differentiation, Vol. 2 |
2001 | •• |
| 33015 |
|
Kaczor W.J., Nowak M.T. |
Problems in Mathematical Analysis I: Real Numbers, Sequences and Series |
2000 | •• |
| 33014 |
|
Kaczor W.J. |
Problems in Mathematical Analysis III: Integration |
2003 | •• |
| 33013 |
|
Helemskii A.Ya. |
Lectures and Exercises on Functional Analysis, Vol. 233 |
2006 | •• |
| 33012 |
|
Hardy G.H. |
Integration of Functions of Single Variable |
1916 • | •• |
| 33011 |
|
Aitken A.C. |
Determinants and Matrices |
1944 | •• |
| 33010 |
|
Billingsley P. |
Convergence of Probability Measures |
1968 | •• |
| 33009 |
|
Beltita D.C. |
Smooth Homogeneous Structures in Operator Theory |
2005 | •• |
| 33008 |
|
Siegel C.L. |
Advanced Analytic Number Theory |
1980 | •• |
| 33007 |
|
Zelikin M.I. |
Control Theory and Optimization, Vol. 1 |
2000 | •• |
| 33006 |
|
Copson E.T. |
An Introduction to the Theory of Functions of a Complex Variable |
1935 | •• |
| 33005 |
|
de Souza P.N., Silva J.-N. |
Berkeley Problems in Mathematics |
2004 | •• |
| 33004 |
|
Frost P. |
An Elementary Treatise on Curve Tracing |
1918 • | •• |
| 33003 |
|
Tomassi P. |
Logic |
1999 | •• |
| 33002 |
|
Flandrin P. |
Time-Frequency/Time-Scale Analysis |
1998 | •• |
| 33001 |
|
Laine-Pearson F.E. |
The Stability of Two,Three,and Four Wave Interactions of a Prototype System |
2008 | •• |
| 33000 |
|
Chrystal G. |
Algebra. An Elementary Textbook, Vol. 2 |
1926 | •• |
| 32999 |
|
Chrystal G. |
Algebra. An Elementary Textbook, Vol. 1 |
1926 | •• |
| 32998 |
|
Samelson H. |
Notes on Lie Algebras |
1990 • | •• |
| 32997 |
|
Rao C.R. |
Handbook of Statistics. Vol. 13: Design and Analysis of Experiments |
1996 | •• |
| 32996 |
|
Roggenkamp A.W. |
Lattices Over Orders II |
1970 | •• |
| 32995 |
|
Roggenkamp A.W., Huber-Dyson V. |
Lattices Over Orders I |
1970 | •• |
| 32994 |
|
Boole G. |
A Treatise on Differential Equations |
1931 • | •• |
| 32993 |
|
Reutenauer Ch. |
Free Lie Algebras |
1993 | •• |
|
|
Î ïðîåêòå