Introduction

Lecture Notes in Mathematics - Tableau Systems for First Order Number Theory and Certain Higher Order Theories ◽

10.1007/bfb0062937 ◽

1975 ◽

pp. 1-29

Author(s):

Sue Toledo

Download Full-text