• RecordNumber
    46357
  • Author

    Tarski, Alfred

  • Title

    formalization of set theory with out variables

  • Author Statement
    by Alfred Tarski , Steven Givant
  • Publication
    American Mathematical society
  • Publication Year
    [c1987]
  • Collation
    xxi, 318 p
  • Series
    American mathematical society colloquium publication; 41
  • Bibliography
    Bibliography: p. 273- 282
  • Subject

    Set theory , Logic, Symbolic and mathamtical

  • ADDED ENTRIES
    Givant, Steven jt. auth , ^dSeries:Mathematical society colloquium publications; 41
  • Main Class
    511
  • Sub Class
    .322
  • Cutter no
    T193f
  • وارد كنندة اطلاعات
    farazbakht 1218^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=46357&Field=0&DTC=2