Blank Cover Image
所蔵情報QRコード

Natural Deduction : the Logical Basis of Axiom Systems / by J. M. Anderson & Henry W. Johnstone, Jr

資料種別:
図書
出版情報:
Belmont : Wadsworth, [1963]
形態:
xii, 418 p. ; 24 cm
著者名:
書誌ID:
BA40118837
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Automated theorem proving : a logical basis

Loveland, Donald W., 1934-

North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland
7 図書 The molecular basis of mutation

Drake, John W., 1932-

Holden-Day
2 図書 Independent axioms for Minkowski space-time

Schutz, John W

Addison Wesley Longman
8 図書 Positive feedback in natural systems (: us ; : gw)

DeAngelis, D. L. (Donald Lee), 1944-, Post, W. M., Travis, C. C., 1942-

Springer-Verlag
3 図書 Deduction methodologies

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
9 図書 Mass spectrometry for chemists and biochemists (: hardcover ; : pbk.)

Johnstone, R. A. W. (Robert Alexander Walker), Rose, M. E.

Cambridge University Press
4 図書 The Logical enterprise

Anderson, Alan Ross, Barcan Marcus, Ruth, Martin, R. M. (Richard Milton), 1916-, Fitch, Frederic B. (Frederic Brenton), …

Yale University Press
10 図書 The Bloomsbury Group : a study of E.M. Forster, Lytton Strachey, Virginia Woolf and their circle

Johnstone, John Keith, 1923-

Secker & Warburg
5 図書 Logical foundations

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
11 電子ブック Advances in Natural Deduction

Pereira, Luiz Carlos, Haeusler, Edward Hermann

SpringerLink Books - AutoHoldings, Springer Netherlands
6 図書 Foundations of special relativity : kinematic axioms for Minkowski space-time (: Germany ; : U.S.)

Schutz, John W

Springer-Verlag
12 図書 Non-natural amino acids (: hardcover)

Muir, Tom W., Abelson, John

Academic Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12