storiet v.2

theme

voice

language

sign in
Cover of First-order logic

a novel ·

First-order logic

by

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

start reading + shelf
  • ● 85% match for you

the long version

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

M

Margaret's verdict

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

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.