X hits on this document

27 views

0 shares

0 downloads

0 comments

1 / 8

Hilbert and Ackermann’s 192

Logic Book

∧∨

¬

As a curiosity let it be noted that one can get by with a single logical sign, as Sheffer showed.

Thanks to the work of Go¨del (1930, 1931) this project was delayed, and it expanded into two volumes (1934, 193 ).

Document info
Document views27
Page views27
Page last viewedWed Jan 18 15:39:54 UTC 2017
Pages8
Paragraphs126
Words1050

Comments