| 33070 |
|
Ebbinghaus H.-D. |
Recursion Theory Week |
1980 | •• |
| 33069 |
|
Mathias A.R.D., Rogers H. |
Cambridge Summer School In Mathematical Logic |
1973 | •• |
| 33068 |
|
Ranicki A. |
Errata for Algebraic and Geometric Surgery |
2007 | •• |
| 33067 |
|
Puhalskii A. |
Large Deviations and Idempotent Probability, Vol. 119 |
2001 | •• |
| 33066 |
|
Jech T.J. |
Lectures in Set Theory with Particular Emphasis on the Method of Forcing |
1971 | •• |
| 33065 |
|
Pohlers W. |
Proof Theory |
1996 | •• |
| 33064 |
|
Kahle R., Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings |
2001 | •• |
| 33063 |
|
Scarpellini B. |
Proof Theory and Intuitionistic Systems |
1971 | •• |
| 33062 |
|
Troelstra A.S. |
Principles of Intuitionism |
1969 | •• |
| 33061 |
|
Polansky A.M. |
Observed Confidence Levels Theory and Application |
2007 | •• |
| 33060 |
|
O'Donnel P. |
Introduction to 2-Spinors in General Relativity |
2003 | •• |
| 33059 |
|
Consortium for ODE Experiments |
Ode Architect Companion |
1999 | •• |
| 33058 |
|
Nowak A.S. (ed.), Szajowski K. (ed.) |
Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control |
2004 | •• |
| 33057 |
|
Hokkanen V.-M. |
Functional Methods in Differential Equations, Vol. 432 |
2002 | •• |
| 33056 |
|
Müller G.H., Richter M.M. |
Models and Sets |
1984 | •• |
| 33055 |
|
Boffi D., Brezzi F., Demkovicz L.F. |
Mixed Finite Elements, Compatibility Conditions, and Applications |
2008 | •• |
| 33054 |
|
Di Prisco C.A. |
Methods in Mathematical Logic |
1985 | •• |
| 33053 |
|
Stone M. |
Mathematics for Physics II |
2003 | •• |
| 33052 |
|
Stone M. |
Mathematics for Physics I |
2002 | •• |
| 33051 |
|
D'Angelo J.P., West D.B. |
Mathematical Thinking: Problem-Solving and Proofs |
1999 • | •• |
| 33050 |
|
Bowden L. (ed.), Polya G. |
Mathematical Methods in Science |
1998 | •• |
| 33049 |
|
Temam R.M., Miranville A. |
Mathematical Modeling in Continuum Mechanics |
2005 • | •• |
| 33048 |
|
Shinoda J., Slaman T.A. |
Mathematical Logic and Applications |
1987 | •• |
| 33047 |
|
Murray J.D. |
Asymptotic Analysis |
1992 | •• |
| 33046 |
|
Ross D.A. |
Master Math: Algebra |
1996 • | •• |
| 33045 |
|
Garbey M., Kaper H.G. |
Asymptotic Analysis and the Numerical Solution of Partial Differential Equations, Vol. 130 |
2001 | •• |
| 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 | •• |
|
|
Î ïðîåêòå