Cover Image
Read Now

1
by Bibel, Wolfgang
Published 1982
Vieweg+Teubner Verlag
Table of Contents: “... and historical remarks -- III. The connection method in first-order logic -- 1. The language of first-order logic...”