Completeness and definability
applications of the Ehrenfeucht game in second-order and intensional logic
We couldn't estimate the reading time for this book.
Author
Contributions
- Universiteit van Amsterdam - Contributor
Publication
1987 - , Netherlands
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- OCLC Control Number58838442
- Open LibraryOL57131056M
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!