Standard and non-standard analysis in second order arithmetic /

Նմանատիպ նյութեր

• Lectures on non-standard analysis /
  : Machover, Moshe
  Հրապարակվել է: (1969)
• Introduction to logic and to the methodology of deductive sciences /
  : Tarski, Alfred
  Հրապարակվել է: (1965)
• Guide to standard Mathematica packages : Version 2.2 /
  Հրապարակվել է: (1993)
• Second order perturbation theory for embedded eigenvalues /
  : Faupin, J.
  Հրապարակվել է: (2010)
• Studies in weak arithmetics /
  Հրապարակվել է: (2010)