| 161360 |
|
Ben-Ari M. |
Mathematical Logic For Computer Science |
2001 | •• |
| 174864 |
|
Ben-Ari M. |
Mathematical logic for computer science |
2003 • | •• |
| 54861 |
|
Kneebone G.T. |
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey |
1963 | •• |
| 1387 |
|
Kneebone G.T. |
Mathematical Logic and the Foundation of Mathematics |
1963 | •• |
| 134201 |
|
Bar-Hillel Y. |
Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968 |
1970 | •• |
| 138257 |
|
Bar-Hillel Y. |
Mathematical Logic and Foundations of Set Theory: Colloquium Proceedings, Jerusalem, 1968 |
1970 | •• |
| 175875 |
|
Shinoda J., Slaman T., Tugue T. |
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987 |
1989 | •• |
| 166886 |
|
Shinoda J., Slaman T., Tugue T. |
Mathematical logic and applications. Proc.meeting, Kyoto, 1987 |
1989 | •• |
| 33048 |
|
Shinoda J., Slaman T.A. |
Mathematical Logic and Applications |
1987 | •• |
| 140242 |
|
Chiswell I., Hodges W. |
Mathematical Logic (Oxford Texts in Logic) |
2007 | •• |
| 164050 |
|
Chiswell I., Hodges W. |
Mathematical Logic (Oxford Texts in Logic) |
2007 | •• |
| 159209 |
|
Monk J. |
Mathematical Logic (Graduate Texts in Mathematics) |
1976 | •• |
| 168732 |
|
Monk J. |
Mathematical Logic (Graduate Texts in Mathematics) |
1976 | •• |
| 190812 |
|
Monk J. |
Mathematical Logic (Graduate Texts in Mathematics) |
1976 | •• |
| 541 |
|
Simpson S.G. |
Mathematical Logic |
2000 | •• |
| 1379 |
|
Ebbinghaus H.-D., Flum J., Thomas W. |
Mathematical logic |
1984 | •• |
| 32946 |
|
Kleene S.C. |
Mathematical Logic |
2002 | •• |
| 35810 |
|
Gandy R.O. (ed.) |
Mathematical Logic |
2001 | •• |
| 54854 |
|
Monk J.D. |
Mathematical Logic |
1976 | •• |
| 129471 |
|
Heinz-Dieter E., Jorg F., Wolfgang T. |
Mathematical Logic |
1984 | •• |
| 139103 |
|
Russell B. |
Mathematical Logic |
n/a | •• |
| 140535 |
|
Chiswell I., Hodges W. |
Mathematical Logic |
2007 | •• |
| 143212 |
|
Shoenfield J.R. |
Mathematical Logic |
2001 | •• |
| 143728 |
|
Quine W. |
Mathematical logic |
1981 | •• |
| 151900 |
|
Steen S. |
Mathematical Logic |
1972 | •• |
| 171368 |
|
Ebbinghaus H., Flum J., Thomas W. |
Mathematical logic |
1984 | •• |
| 175696 |
|
Kleene S. |
Mathematical logic |
1967 | •• |
| 176500 |
|
Chiswell I., Hodges W. |
Mathematical logic |
2007 | •• |
| 183040 |
|
Ebbinghaus H., Flum J., Thomas W. |
Mathematical Logic |
1984 | •• |
| 183952 |
|
Monk J. |
Mathematical Logic |
1976 | •• |
| 187900 |
|
Ebbinghaus H., Flum J., Thomas W. |
Mathematical Logic |
1984 | •• |
| 191192 |
|
Quine W. |
Mathematical Logic |
1981 • | •• |
| 207637 |
|
Arai T. |
Mathematical Logic |
2021 | •• |
| 194246 |
|
Bartocci C., Betti R., Guerraggio A. |
Mathematical Lives: Protagonists of the Twentieth Century From Hilbert to Wiles |
2011 | •• |
| 127387 |
|
Kornai A. |
Mathematical Linguistics |
2008 | •• |
| 154496 |
|
Kornai A. |
Mathematical linguistics |
2007 | •• |
| 189660 |
|
Kornai A. |
Mathematical Linguistics |
2008 | •• |
| 78823 |
|
Asperti A. |
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 |
2003 | •• |
| 150318 |
|
Jonathan M. Borwein, William M. Farmer |
Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings |
2006 • | •• |
| 85679 |
|
Asperti A., Bancerek G., Trybulec A. |
Mathematical Knowledge Management Third International Conference, MKM 2004 Poland, September 19-21, 2004 Proceedings |
2004 | •• |
| 174387 |
|
Rowland T., Ruthven K. |
Mathematical Knowledge in Teaching |
2011 | •• |
| 33916 |
|
Leng M. (ed.), Paseau A. (ed.), Potter M. (ed.) |
Mathematical Knowledge |
2008 | •• |
| 145557 |
|
Schumer P. |
Mathematical Journeys (Wiley-Interscience Publication) |
2004 | •• |
| 171460 |
|
Schumer P. |
Mathematical Journeys (Wiley-Interscience Publication) |
2004 | •• |
| 32726 |
|
Schumer P.D. |
Mathematical Journeys |
2004 | •• |
| 179837 |
|
Schumer P. |
Mathematical journeys |
2004 | •• |
| 129608 |
|
Lewis A. D. |
Mathematical Introduction to Signals and Systems. Time and frequency domain representations of signals |
2006 | •• |
| 156366 |
|
Louis Brickman |
Mathematical introduction to linear programming and game theory |
1989 • | •• |
| 165362 |
|
Brickman L. |
Mathematical Introduction to Linear Programming and Game Theory |
1989 | •• |
| 182526 |
|
Chorin A., Marsden J. |
Mathematical introduction to fluid mechanics |
1992 • | •• |
|
|
Î ïðîåêòå