6 results
High-Rate Performance of LiCoO2 Epitaxial Thin Films with Various Surface Conditions
-
- Journal:
- MRS Advances / Volume 3 / Issue 22 / 2018
- Published online by Cambridge University Press:
- 04 March 2018, pp. 1243-1247
- Print publication:
- 2018
-
- Article
- Export citation
Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii + 390 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 15 January 2014, p. 408
- Print publication:
- September 2003
-
- Article
- Export citation
Syntactical and semantical properties of generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-632
- Print publication:
- December 1966
-
- Article
- Export citation
J. I. Malitz and W. N. Reinhardt. Maximal models in the language with quantifier “there exist uncountably many.” Pacific journal of mathematics, vol. 40 (1972), pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A complete countable Lω1Q theory with maximal models of many cardinalities. Pacific journal of mathematics, vol. 43 (1972), pp. 691–700.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-636
- Print publication:
- December 1975
-
- Article
- Export citation
R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 (1967), pp. 345–351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- 29 May 1969
-
- Article
- Export citation
An axiomatic system for the first order language with an equi-cardinality quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-640
- Print publication:
- December 1966
-
- Article
- Export citation