Search alternatives:
logiciel » logiciels
logicals » logicas, logiciels, logically

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 Gelfand, Israel M., Alekseyevskaya (Gelfand), Tatiana
Published 2020
Springer New York
Subjects: ...Mathematical logic...

3
by Schmidt, Stefan E.
Published 1995
Birkhäuser Basel
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, OSHEA, DONAL.
Published 2007
Springer New York
Subjects: ...Mathematical logic...

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

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

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

12
Published 2000
Birkhäuser
Table of Contents: ... Clifforms: A Geometric Language for Dirac Equations -- 3 Geometry and Logic -- The Principle of Duality...

13
by Ryan, Mark
Published 2019
John Wiley and Sons.
Table of Contents: ...Using If-Then LogicChipping Away at the Problem; Working Backward; Filling in the Gaps; Writing out...

14
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...

15
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...

16
by Trudeau, Richard J.
Published 2001
Birkhäuser Boston
Table of Contents: ...1 First Things -- The Origin of Deductive Geometry -- ?aterial Axiomatic Systems -- Logic -- Proofs...

17
by Gutenmacher, Victor, Vasilyev, N.B.
Published 2004
Birkhäuser Boston
Table of Contents: ...1 Sets of Points -- 2 The Alphabet -- 3 Logical Combinations -- 4 Maximum and Minimum -- 5 Level...

18
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...

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

20
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...