Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Ancora nessuna valutazione
2015 · Inglese · Copertina rigida
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri

Recensioni

Nessuna recensione ancora

Sii il primo a recensire questo libro e condividi i tuoi pensieri

Accedi per recensire
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri