First-order logicRaymond M. Smullyan

First-order logic

Raymond M. Smullyan · 1968

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

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

Book details

Year: 1968
Language: English
Publisher: Springer
Editions: 4
ISBN: 9783540040996

Data source: Wikidata

More by Raymond M. Smullyan

A Beginners Guide To Mathematical LogicRaymond M. Smullyan

A Beginners Guide To Mathematical Logic

Raymond M. Smullyan · 2014

The Gödelian puzzle bookRaymond M. Smullyan

The Gödelian puzzle book

Raymond M. Smullyan · 2013

The magic garden of George BRaymond M. Smullyan

The magic garden of George B

Raymond M. Smullyan · 2007

Recursion theory for metamathematicsRaymond M. Smullyan

Recursion theory for metamathematics

Raymond M. Smullyan · 1993

The lady or the tiger? and other logic puzzlesRaymond M. Smullyan

The lady or the tiger? and other logic puzzles

Raymond M. Smullyan · 1992

Alice in puzzle-landRaymond M. Smullyan

Alice in puzzle-land

Raymond M. Smullyan · 1982

This book needs no titleRaymond M. Smullyan

This book needs no title

Raymond M. Smullyan · 1980

The chess mysteries of Sherlock HolmesRaymond M. Smullyan

The chess mysteries of Sherlock Holmes

Raymond M. Smullyan · 1979

What is the name of this book?Raymond M. Smullyan

What is the name of this book?

Raymond M. Smullyan · 1978

A beginner's further guide to mathematical logicRaymond M. Smullyan

A beginner's further guide to mathematical logic

Raymond M. Smullyan · 2017