Record Nr.

UNINA990002558740403321

Autore

Logic Colloquium : <8. ; : 1963

Titolo

Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / edited by J. N. Crossley , M. A. E. Dummett

Pubbl/distr/stampa


Amsterdam : North Holland, 1965

Descrizione fisica

320 p. ; 24 cm

Collana

Studies in logic and the foundations of mathematics

Disciplina

516

160

Locazione

MAS

FI1

MA1

Collocazione

MXXV-A-240

7-079

C-30-(39

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia