( w 3 rekordach )

  1. Home
  2. KHW

Szczegóły

Tropy:
Źródło:
  1. Model theory / C. C. Chang and H. J. Keisler. - 3rd ed., 3rd impr. - Amsterdam, 1992.
  2. Dictionary of symbols of mathematical logic / ed. by Robert Feys and Frederic B. Fitch. - Amsterdam, 1969.
  3. LCC online
Rekordy KHW:
Opisy bibliograficzne:
  1. Model theory for infinitary logic : logic with counjunctions and finite quantifiers / Keisler, H. Jerome.
  2. Southeast Asian conference on logic : proceedings of the Logic conference : Singapore, 1981 /
  3. Topoi : the categorial analysis of logic / Goldblatt, Robert