Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is presentAlfredo Ferro

Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present

Name: Decision procedures for elementary sublanguages of set theory. VII. Validity in set theory when a choice operator is present
ISBN: 9781378926055

Alfredo Ferro · 2018

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year: 2018
Language: English
Publisher: Creative Media Partners, LLC
Editions: 1
ISBN: 9781378926055

Data source: Wikidata

More by Alfredo Ferro

Fun with AlgorithmsAlfredo Ferro

Fun with Algorithms

Alfredo Ferro · 2014

Proceedings of the Fourth International Conference on SImilarity Search and APplicationsAlfredo Ferro

Proceedings of the Fourth International Conference on SImilarity Search and APplications

Alfredo Ferro · 2011