Last edited by Dat
Monday, May 18, 2020 | History

4 edition of Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection. found in the catalog.

Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection.

by D. Cantone

  • 258 Want to read
  • 9 Currently reading

Published by Courant Institute of Mathematical Sciences, New York University in New York .
Written in English


Edition Notes

StatementBy D. Cantone, V. Cutello.
ContributionsCutello, V.
The Physical Object
Pagination11 p.
Number of Pages11
ID Numbers
Open LibraryOL17976486M


Share this book
You might also like
Gerbils

Gerbils

Norwich Cross and Mangreen village

Norwich Cross and Mangreen village

Iran moderne

Iran moderne

Lasso your heart

Lasso your heart

A Sense of Wonder

A Sense of Wonder

Estonia to-day

Estonia to-day

Draft regulatory guide DG-1009

Draft regulatory guide DG-1009

architecture of matter [by] Stephen Toulmin [and] June Goodfield.

architecture of matter [by] Stephen Toulmin [and] June Goodfield.

U.S. waterway system-facts.

U.S. waterway system-facts.

Himalaya, a monograph

Himalaya, a monograph

Nandishen

Nandishen

Vulture! Vulture!

Vulture! Vulture!

New technologies for constructing complex agricultural and environment systems

New technologies for constructing complex agricultural and environment systems

Visitors guide

Visitors guide

Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection by D. Cantone Download PDF EPUB FB2