1.

Record Nr.

UNINA990000980090403321

Autore

Curry, Haskell B.

Titolo

A Theory of Formal Deducibility / by Haskell B. Curry

Pubbl/distr/stampa

Notre Dame [Indiana] : University of Notre Dame Press, 1966, c1950

Edizione

[3rd printing]

Descrizione fisica

xi, 129 p. ; 23 cm

Collana

Notre Dame Mathematical Lectures ; no. 6

Disciplina

160

Locazione

FI1

Collocazione

7-051

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA990007319060403321

Autore

Giersch, Herbert <1921- >

Titolo

Integration durch Wahrning sunion ? Integration through Monetary Union ? / Giersch

Pubbl/distr/stampa

s.l. : s.e., 1971

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia