FINITE REPLACEMENT AND FINITE HILBERT-STYLE AXIOMATIZABILITY

Mathematical Logic Quarterly ◽

10.1002/malq.19920380131 ◽

1992 ◽

Vol 38 (1) ◽

pp. 327-344 ◽

Author(s):

B. Herrmann ◽

W. Rautenberg

Download Full-text