1.

Record Nr.

UNINA990000961220403321

Autore

Beth, Evert Willem

Titolo

Formal Methods : an Introduction to Symbolic Logic and to Study of Effective Operations in Arithmetic and Logic / Evert W. Beth

Pubbl/distr/stampa

Dordrecht (NL) : Reidel, 1962

Descrizione fisica

XIV, 170 p. ; 23 cm

Collana

Synthese Library

Disciplina

160

Locazione

FI1

Collocazione

7-031

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia