Normal view MARC view ISBD view

Introduction to logic/ Patrick Suppes

By: Suppes, PatrickMaterial type: Text

TextPublication details: New York: Dover, 1957Description: xiv, 312 p. : ill. ; 22 cmISBN: 9780486406879Subject(s): LogicDDC classification: 160

Contents:

1. The Sentential Connectives-- 2. Sentential Theory Of Inference -- 3. Symbolizing Everyday Language -- 4. General Theory Of Inference -- 5. Further Rules Of Inference -- 6. Postscript On Use And Mention -- 7. Transition From Formal To Informal Proofs -- 8. Theory Of Definition -- 9. Sets -- 10. Relations -- 11. Functions -- 12. Set-Theoretical Foundations Of The Axiomatic Method.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
General Books	Central Library, Sikkim University General Book Section	160 SUP/I (Browse shelf(Opens below))	Available		P08218

Total holds: 0

1. The Sentential Connectives--
2. Sentential Theory Of Inference --
3. Symbolizing Everyday Language --
4. General Theory Of Inference --
5. Further Rules Of Inference --
6. Postscript On Use And Mention --
7. Transition From Formal To Informal Proofs --
8. Theory Of Definition --
9. Sets --
10. Relations --
11. Functions --
12. Set-Theoretical Foundations Of The Axiomatic Method.

There are no comments on this title.

to post a comment.