Follow us on
Search Search in the site

Sardinia region

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

Beth, Evert Willem

Category

Nature

Title

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

Physical description

XIV, 170 p. ; 23 cm.

Date

1962

Place of publication

Dordrecht

Village

PAESI BASSI

Tongue

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

Comments

Write a comment

Send