Suivez-nous sur
Recherche Rechercher sur le site

Sardaigne

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

Beth, Evert Willem

Catégorie

Nature

Titre

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

Description

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

Description physique

XIV, 170 p. ; 23 cm.

Date

1962

Place de publication

Dordrecht

Village

PAESI BASSI

Langue

ID

IT\ICCU\SBL\0124024

Liens de ressources

Biblioteca del Distretto delle scienze sociali, economiche e giuridiche - sezione Scienze economiche
Biblioteca del Distretto di scienze umane - sezione Giordano Bruno

Étiqueter

commentaires

Écrire un commentaire

Envoyer