Skip to content
Rider Library Catalog
You are not logged in
|
Login
Your session will expire automatically in
0
seconds.
Continue session
End session now
Request
Add to My Lists
Export
MARC Display
Return To Browse
SearchType
Keyword
Author
Title
Journal Title
Series Title
Subject
Genre
Call no.
ISBN / ISSN
Table of Contents
Publisher
Prof/TA
Course
Search
Search Scope
View Entire Collection
Moore Library
Talbott Library
Limit search to available items
Record:  
Prev
Next
Resources
Book
Author
Anderson, John Mueller.
Title
Natural deduction : the logical basis of axiom systems / John M. Anderson and Henry W. Johnstone, Jr.
Publication Info.
Belmont, Calif. : Wadsworth Pub. Co., 1962.
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
BC71 .A6
Available
---
Description
418 pages : illustrations ; 24 cm
Bibliography
Includes index.
Subject
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Metamathematics.
Metamathematics.
Added Author
Johnstone, Henry W., Jr. (Henry Webb), 1920-2000.