Search alternatives:
"logiciel" » "logiciels"

1
by MacLane, Saunders, Moerdijk, Ieke
Published 1994
Springer New York
Table of Contents: .... The Filter-Quotient Construction -- Exercises -- VI. Topoi and Logic -- 1. The Topos of Sets -- 2. The Cohen...

2
by Schmidt, Stefan E.
Published 1995
Birkhäuser Basel
Subjects: ...Mathematical logic...

3
by Gelfand, Israel M., Alekseyevskaya (Gelfand), Tatiana
Published 2020
Springer New York
Subjects: ...Mathematical logic...

4
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2001
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

5
by Richter-Gebert, Jürgen, Kortenkamp, Ulrich H.
Published 2000
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

6
Published 1998
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...

7
by Andreescu, Titu, Gelca, Razvan
Published 2009
Birkhäuser
Subjects: ...Mathematical logic...

8
by Cox, David A., Little, John, O'Shea, Donal
Published 2015
Springer International Publishing
Subjects: ...Mathematical logic...

9
by Lavendhomme, R.
Published 1996
Springer US
Subjects: ...Mathematical logic...

10
by Cox, David A., Little, John, OSHEA, DONAL.
Published 2007
Springer New York
Subjects: ...Mathematical logic...

11
Published 2006
Springer US
Table of Contents: ... Face -- Axiomatical and Logical Aspects -- Hyperbolic Geometry, Dimension-Free -- An Absolute Property...

12
by Zilber, Boris
Published 2010
Cambridge University Press
... their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand...

13
by Kock, Anders
Published 2006
Cambridge University Press
... categories and the interpretation of logical formulae within them. This is a second edition of Kock...

14
by Parrott, Stephen
Published 1987
Springer New York
Table of Contents: ... point particle -- 4.5 Summary of the logical structure of electrodynamics -- Exercises 4 -- 5. Further...

15
by Baltus, Christopher
Published 2020
Springer International Publishing
... geometry. As a proof-based treatment, this monograph will be of interest to those who enjoy logical...

16
by Lan, Kai-Wen
Published 2013
Princeton University Press
Table of Contents: ... the compactifications of smooth integral models of all PEL-type Shimura varieties, providing the logical foundation...

17 ... bothspatial relationships and logical reasoning. Focusing on the development of geometric intuitionwhile...

18
by Pook, L.P.
Published 2009
Springer Netherlands
... relationships between different types. This profusely illustrated book is arranged in a logical order...

19
by Sendra, J. Rafael, Winkler, Franz, Pérez-Diaz, Sonia
Published 2008
Springer Berlin Heidelberg
... problems, in models of b- logical shapes, in error-correcting codes, and in cryptographic algorithms...

20
by Weinberger, Shmuel
Published 2005
Princeton University Press
..., geometry, and logic. Shmuel Weinberger seeks to explain and illustrate the implications of the general...