Search alternatives:
classical types » classical type, classical topics, classical texts
theory library » theory linear, theory arbitrary
types library » type library, typed library, itunes library
Cover Image
Read Now

1
by Marcja, Annalisa, Toffalori, Carlo
Published 2003
Springer Netherlands
Table of Contents: “...8.2 Algebraic varieties, ideals, types -- 8.3 Dimension and Morley rank -- 8.4 Morphisms...”
Cover Image
Read Now

2
by Toft, Robert
Published 2019
Focal Press
“...Recording Classical Music presents the fundamental principles of digitally recording and editing...”
Cover Image
Read Now

3
Published 2004
Springer Netherlands
Table of Contents: “... forcing theory -- Classification problems in algebra and topology -- Using easy optimization problems...”
Cover Image
Read Now

4
by Bäck, Allan
Published 2014
Springer International Publishing
Subjects: “...Ancient Philosophy / Classical Philosophy...”
Cover Image
Read Now

5
by Farmer, William M.
Published 2023
Birkhäuser
Table of Contents: “... Semantics -- 6 Additional Notation -- 7 Beta-reduction and Substitution -- 8 Proof Systems -- 9 Theories...”
Cover Image
Read Now

6
Published 2012
Springer Netherlands
Table of Contents: “... and Contemporary Argumentation Theory; Marta Spranzi -- 11. The Ethos of Classical Rhetoric: from Epieikeia...”
Cover Image
Read Now

7
Published 1986
Springer Netherlands
Table of Contents: “....6. Free Logics -- III.7. Quantum Logic -- III.8. Proof Theory and Meaning -- Name Index -- Table...”
Cover Image
Read Now

8
by Earhart, Amy E.
Published 2015
University of Michigan Press
Subjects: “...Digital libraries...”
Cover Image
Read Now

9
by Sitnikovski, Boro
Published 2023
Apress
Table of Contents: “...Formal systems -- Classical mathematical logic -- Type theory -- Programming in idris -- Proving...”
Cover Image
Read Now

10
by van Rijen, J.
Published 1989
Springer Netherlands
Table of Contents: “... and shifts of type of predication -- 13. Conclusions -- Notes to Chapter Nine -- Index of Names -- Index...”
Cover Image
Read Now

11
by DiCosmo, Roberto
Published 1995
Birkhäuser
Table of Contents: “... -- 4.1 Rewriting types -- 4.2 From ?1???? to the classical ?1?? -- 4.3 Using finite hereditary...”
Cover Image
Read Now

12
Published 1989
Springer Netherlands
Table of Contents: “... Astrophysics: Its Birth and Future -- Models of Type II Supernovae and Supernova 1987A -- X-Ray Observation...”
Cover Image
Read Now

13
by Egghe, L.
Published 2005
Emerald
Table of Contents: “...Basic theory of Lotkaian informetrics / Leo Egghe -- Three-dimensional Lotkaian informetrics / Leo...”
Cover Image
Read Now

14
Published 1993
Springer Netherlands
Table of Contents: “...: Comparison of Theories and Observations -- Properties of the Lyman ? Forest at High and Low Redshifts -- QSO...”
Cover Image
Read Now

15
by Fitting, M.
Published 2002
Springer Netherlands
Table of Contents: “...I Classical Logic -- Classical Logic-Syntax -- Classical Logic-Semantics -- Classical Logic-Basic...”
Cover Image
Read Now

16
by Gladwell, G.M.L.
Published 2005
Springer Netherlands
Subjects: “...Classical Mechanics...”
Cover Image
Read Now

17
Published 1995
Springer Netherlands
Table of Contents: “... sheets in a simplified type of turbulent motion” -- ”On homogeneous non-isotropic turbulence connected...”
Cover Image
Read Now

18
by Chang, Chen Chung
Published 1990
North-Holland
Table of Contents: “.... Large Cardinals and the Constructible Universe; Appendices: Set Theory. Open Problems in Classical Model...”
Cover Image
Read Now

19
by Drake, F. R.
Published 1974
North-Holland Pub. Co.
Table of Contents: “...; Chapter 6. Measurable Cardinals; 1. Measures: classical properties; 2. The ultrapower construction...”
Cover Image
Read Now

20
by Dalla Chiara, Maria Luisa, Giuntini, Roberto, Greechie, Richard
Published 2004
Springer Netherlands
Table of Contents: “... of orthomodularity -- 12. First-order quantum logics and quantum set theories -- 13. Partial classical logic...”