Chapter 4: Finite Theories on Two Types

Open Access

VOL. 10 | 1980 Chapter 4: Finite Theories on Two Types

Jens E. Fenstad

Perspect. Logic, 1980: 90-106 (1980)

First Page PDF

CHAPTER
17 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

General Recursion Theory: An Axiomatic Approach

Vol. 10 • 1 January 1980

Association for Symbolic Logic