Providence University Luking Library Webpac

Home > Information

Check-outs :

Natural deduction : the logical basis of axiom systems /

Hit：121
Rating：0
Review：0
Trackback：0
Email：0

Brief

MARC

001

142513

003

OCoLC

005

19980827104520.0

008		740508s1962 caua b 001 0 eng
010		\|a 62011239 /L
035		\|a00864171
040		\|aDLC\|cTOL\|dOCL
049		\|aPVYA[][][][43830]
050	0	\|aBC71\|b.A6
092	0	\|a511.3\|bAn23
094		\|a靜宜\|d511.3\|eAn23\|cE43830\|tDDC\|fBiddy
095		\|pBOOK\|d511.3\|eAn23
100	1	\|aAnderson, John Mueller.
245	10	\|aNatural deduction :\|bthe logical basis of axiom systems /\|c[by] John M. Anderson and Henry W. Johnstone, Jr.
260		\|aBelmont, Calif. :\|bWadsworth Pub. Co.,\|c[1962]
300		\|a418 p. :\|bill. ;\|c24 cm.
504		\|aIncludes bibliographies and index.
650	0	\|aLogic, Symbolic and mathematical.
650	0	\|aMetamathematics.
700	1	\|aJohnstone, Henry W.

Share：

第1級人氣樹(0)

人氣指樹

Export

keepsite
Introduction
Tags(0)
Collection(0)
Review(0)
Rating(0)

Top

Please login for this service.

Please login for this service.

Please login for this service.

Please login for this service.