Search Results
Results 81 - 90 of 209
(page 9 of 21)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands : 2007. |
| ISBN: | 9781402050343 |
| Phys. Desc.: | XV, 241 p. online resource. |
| Electronic resource | Texto completo |
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540727347 |
| Phys. Desc.: | XI, 513 p. Also available online. online resource. |
| Electronic resource | Texto completo |
104 Number Theory Problems From the Training of the USA IMO Team
E-book
E-book
| Publisher: | Boston, MA : Birkhäuser Boston, 2007. |
| ISBN: | 9780817645618 |
| Phys. Desc.: | XII, 204 p. online resource. |
| Electronic resource | Texto completo |
Valued Fields
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540300359 |
| Phys. Desc.: | X, 208 p. online resource. |
| Electronic resource | Texto completo |
Reactive Kripke Semantics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642413896 |
| Phys. Desc.: | XII, 442 p. 201 illus., 10 illus. in color. online resource. |
| Electronic resource | Texto completo |
Conditionals and Modularity in General Logics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642190681 |
| Phys. Desc.: | IX, 233p. 20 illus. digital. |
| Electronic resource | Texto Completo |
Logical Tools for Handling Change in Agent-Based Systems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642044076 |
| Phys. Desc.: | X, 305p. online resource. |
| Electronic resource | Texto completo |
Information and Knowledge A Constructive Type-theoretical Approach
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2008. |
| ISBN: | 9781402061707 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
The Mathematics of Coordinated Inference A Study of Generalized Hat Problems
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319013336 |
| Phys. Desc.: | XI, 109 p. online resource. |
| Electronic resource | Texto completo |
Proofs of the Cantor-Bernstein Theorem A Mathematical Excursion
E-book
E-book
| Publisher: | Basel : Springer Basel : 2013. |
| ISBN: | 9783034802246 |
| Phys. Desc.: | XXIII, 429 p. 29 illus., 3 illus. in color. online resource. |
| Electronic resource | Texto completo |
