Alfredo Ferro

Fun with Algorithms: 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings

Alfredo Ferro

$60.03

Decision Algorithms for Some Fragments of Analysis and Related Areas

Alfredo Ferro

$29.95

Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

Alfredo Ferro

$18.15

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

Alfredo Ferro

Out of Stock

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs

Alfredo Ferro

$26.95

Decision Procedures for Elementary Sublanguages of set Theory. VII. Validity in set Theory When a Choice Operator is Present

Alfredo Ferro

$16.34