ENGLISH

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

By Beth E.W.

Book information

Publisher
D.Reidel
Year
1962
ISBN
9789401032711
Language
english
Format
DJVU
Filesize
1 MB (1475331 bytes)
Series
Synthese library 4
Pages
184\184
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00

Similar books