Applications of many-sorted Robinson consistency theorem
Applications of many-sorted Robinson consistency theorem / D. Mundici. - In: ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK. - ISSN 0044-3050. - STAMPA. - 27:(1981), pp. 181-188. [10.1002/malq.19810271103]
Applications of many-sorted Robinson consistency theorem
MUNDICI, DANIELE
1981
Abstract
Applications of many-sorted Robinson consistency theorem
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
