The Decision Problem for a Class of First-Order Formulas in...

Mathematical Logic Quarterly 1967 Vol. 13; Iss. 1-2

The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary

M. R. Krom
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
13
Year:
1967
Language:
english
Pages:
6
DOI:
10.1002/malq.19670130104
File:
PDF, 468 KB
english, 1967
Conversion to is in progress
Conversion to is failed