18 results
EPA-1689 – Neuropsychophysiology Knowledge by Fagioli's Human Birth Theory Can Achieve the Psychosis Psychotherapy Treatment
-
- Journal:
- European Psychiatry / Volume 29 / Issue S1 / 2014
- Published online by Cambridge University Press:
- 15 April 2020, p. 1
-
- Article
-
- You have access
- Export citation
EPA-1707 – From Delusional Perception to Annulment Drive (1962–1971)
-
- Journal:
- European Psychiatry / Volume 29 / Issue S1 / 2014
- Published online by Cambridge University Press:
- 15 April 2020, p. 1
-
- Article
-
- You have access
- Export citation
EPA-1691 - Schizophrenic Autism as an Expression of “Annulment Drive” Related to the Loss of the Original Vitality
-
- Journal:
- European Psychiatry / Volume 29 / Issue S1 / 2014
- Published online by Cambridge University Press:
- 15 April 2020, p. 1
-
- Article
-
- You have access
- Export citation
Biological activity of the non-microbial fraction of kefir: antagonism against intestinal pathogens
-
- Journal:
- Journal of Dairy Research / Volume 84 / Issue 3 / August 2017
- Published online by Cambridge University Press:
- 23 August 2017, pp. 339-345
- Print publication:
- August 2017
-
- Article
- Export citation
Geographic distribution and ecology of two species of Orsillus (Hemiptera: Lygaeidae) associated with cones of native and introduced Cupressaceae in Europe and the Mediterranean Basin
-
- Journal:
- The Canadian Entomologist / Volume 137 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 02 April 2012, pp. 450-470
-
- Article
- Export citation
Constructive set theory with operations
-
-
- Book:
- Logic Colloquium 2004
- Published online:
- 05 July 2014
- Print publication:
- 10 December 2007, pp 47-83
-
- Chapter
- Export citation
Choice and uniformity in weak applicative theories
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 108-138
-
- Chapter
- Export citation
The axiom of choice and combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1091-1108
- Print publication:
- December 2003
-
- Article
- Export citation
Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
- Print publication:
- December 2002
-
- Article
- Export citation
On extensionality, uniformity and comprehension in the theories of operations and classes
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 251-269
-
- Chapter
- Export citation
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
- Print publication:
- December 2001
-
- Article
- Export citation
Uniform inseparability in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-326
- Print publication:
- March 1999
-
- Article
- Export citation
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 (1991), pp. 1–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-347
- Print publication:
- March 1995
-
- Article
- Export citation
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49 (1984), pp. 75–111. (Also in Recent essays on truth and the liar paradox, edited by Robert L. Martin, Clarendon Press, Oxford University Press, Oxford and New York 1985 (© 1984), pp. 237–287.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-345
- Print publication:
- March 1995
-
- Article
- Export citation
Extending the first-order theory of combinators with self-referential truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-513
- Print publication:
- June 1993
-
- Article
- Export citation
Wolfram Pohlers. Proof theory. An introduction. Lecture notes in mathematics, vol. 1407. Springer-Verlag, Berlin etc. 1989, vi + 213 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-359
- Print publication:
- March 1993
-
- Article
- Export citation
A theory of formal truth arithmetically equivalent to ID1
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-259
- Print publication:
- March 1990
-
- Article
- Export citation
On the relation between choice and comprehension principles in second order arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-373
- Print publication:
- June 1986
-
- Article
- Export citation