First-order logic

Name: First-order logic
Author: Raymond M. Smullyan

by Raymond M. Smullyan

Fantasy

1968

Self-contained study guide to quantification theory based on the analytic tableaux.

Add to list

Start a Discussion

Community tags

No tags yet — add the first vibe.

Readers also liked

A tree grows in Brooklyn

Betty Smith

The Overstory

Richard Powers

The Night Circus

Erin Morgenstern

The Mark of Isobel Grace

Shonda Terrill

The Ballad of Never After

Stephanie Garber

Theo of Golden

Allen Levi

More Fantasy books

A Court of Thorns and Roses

Sarah J. Maas

Harry Potter and the Philosopher's Stone

J. K. Rowling

Fourth Wing

Rebecca Yarros

Want to read books like this before anyone else?

Indie authors send us advance copies. We match them to readers by genre. You get the book free, the author gets an honest review.

Becoming a Writer: Identity, Voice, and Practice

Genocide Timer: I Regressed as the Enemy of Humanity

Get free books →