Explore "Conjure Wife" by Fritz Leiber on Textopian. Read with annotations and highlights.
Professor Carr finished his inspection of the first of the five sheets.
"Yes," he said, "these are undoubtedly equations in symbolic logic."