Seguici su
Cerca Cerca nel sito

Regione Sardegna

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic

Beth, Evert Willem

Categoria

Natura

Titolo

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic

Descrizione

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth

Descrizione Fisica

XIV, 170 p. ; 23 cm.

Data

1962

Luogo di pubblicazione

Dordrecht

Paese

PAESI BASSI

Lingua

ID

IT\ICCU\SBL\0124024
Biblioteca del Distretto delle scienze sociali, economiche e giuridiche - sezione Scienze economiche
Biblioteca del Distretto di scienze umane - sezione Giordano Bruno

Tag

Commenti

Scrivi un commento

Invia