1.

Record Nr.

UNINA990001306760403321

Autore

Luckhardt, Horst

Titolo

Extensional Godel functional interpretation : A consistence proff of classical analysis / by LUCKHARDT H.

Locazione

MA1

Collocazione

C-20-(306

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia