A Syntactic Embedding of Predicate Logic into Second-Order...

A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

Sørensen, Morten H., Urzyczyn, Paweł
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:
51
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1215/00294527-2010-029
Date:
October, 2010
File:
PDF, 293 KB
english, 2010
Conversion to is in progress
Conversion to is failed