Book:Raymond M. Smullyan/First-Order Logic

Raymond M. Smullyan: First-Order Logic

Published $\text {1968}$, Springer-Verlag

ISBN 978-0387040998

Subject Matter

• Predicate Logic

Contents

A table of contents is missing for this source work. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the table of contents. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ContentsWanted}} from the code.

Further Editions

• 1995: Raymond M. Smullyan: First-Order Logic (2nd ed.)