Craig's interpolation theorem in computation theory
- Anno: 1981
- Autore/i: D.MUNDICI
- Catalogo: Accademia Nazionale dei Lincei
- Argomento: Matematica
- Collana: Rendiconti lincei. Scienze fisiche e naturali
- ISBN:
- ISSN:
€ 10,00
intervento all'interno del vol. 70,fasc 1,sez I