|
|
|
|
|
|
|
|
|
|
211. |
Computability and logic Boolos, George *1940-1996*. - 5. ed. - Cambridge [u.a.] : Cambridge Univ. Press, 2007
|
|
|
|
212. |
The mathematics of logic : a guide to completeness theorems and their applications Kaye, Richard. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2007
|
|
|
|
213. |
Induction, algorithmic learning theory, and philosophy Friend, Michèle. - Dordrecht : Springer, 2007
|
|
|
|
214. |
Philosophical dimensions in mathematics education François, Karen. - New York, NY [u.a.] : Springer, 2007
|
|
|
|
215. |
The legacy of Mario Pieri in geometry and arithmetic Marchisotto, Elena Anne. - Boston, MA : Birkhäuser, 2007
|
|
|
|
216. |
Die Mathematik und das synthetische Apriori : erkenntnistheoretische Untersuchungen über den Geltungsstatus mathematischer Axiome Wille, Matthias *1976-*. - Paderborn : Mentis, 2007
|
|
|
|
217. |
Logica universalis : towards a general theory of logic Beziau, Jean-Yves *1965-*. - 2. ed. - Basel : Birkhäuser, 2007
|
|
|
|
218. |
Reelle Zahlen : das klassische Kontinuum und die natürlichen Folgen Deiser, Oliver *1971-*. - Berlin : Springer, 2007
|
|
|
|
219. |
Mathematical logic Chiswell, Ian *1948-*. - Oxford : Oxford University Press, 2007
|
|
|
|
220. |
Hilbert's tenth problem : diophantine classes and extensions to global fields Shlapentokh, Alexandra. - first. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2007
|
|
|
|
|
|
|
211 - 220 von 1222 |
|
Wort |
|
Typ |
|
Anzahl |
|
31.10 |
|
Basisklassifikation (XBKL) |
|
1223 |
|
|
|
|
|
|
|
211 - 220 von 1222 |
|
|