Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-4 of  4 results for ""math""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

ON THE EXPRESSIVE POWER OF THE LOGICS L(Qα n1,..., n m).

  • Source: Mathematical Logic Quarterly. 1984, Vol. 30 Issue 1-6, p11-20. 10p.

Record details

×
Academic Journal

A PROPERTY OF 2-SORTED PEANO MODELS AND PROGRAM VERIFICATION.

  • Source: Mathematical Logic Quarterly. 1984, Vol. 30 Issue 19-24, p325-334. 10p.

Record details

×
Academic Journal

DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS.

  • Source: Mathematical Logic Quarterly. 1984, Vol. 30 Issue 7/8, p97-118. 22p.

Record details

×
  • 1-4 of  4 results for ""math""