>> Google Books
タイトル、所在を表示します

Natural deduction : a proof-theoretical study

フォーマット:
図書
責任表示:
Dag Prawitz
言語:
英語
出版情報:
Mineola, N.Y. : Dover Publications, 2006
形態:
viii, 113 p. ; 22 cm
著者名:
Prawitz, Dag <DA08420269>  
シリーズ名:
Dover books on mathematics <BA04873505>
書誌ID:
BA78061754
ISBN:
9780486446554 [0486446557] (: pbk)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 A deduction model of belief

Konolige, Kurt

Pitman, Morgan Kaufmann
7 図書 Automated deduction in equational logic and cubic curves

McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938-

Springer
2 図書 Induction and deduction : a study in Wittgenstein

Dilman, İlham

B. Blackwell
8 図書 Type-theoretical grammar

Ranta, Aarne

Clarendon Press, Oxford University Press
3 図書 The shaping of deduction in Greek mathematics : a study in cognitive history

Netz, Reviel

Cambridge University Press
9 図書 Boolean semantics for natural language

Keenan, Edward L. (Edward Louis), 1937-, Faltz, Leonard M., 1940-

D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Academic
4 図書 Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie

Wiegand, Olav K.

Kluwer Academic Publishers
10 図書 Mathematical intuitionism : introduction to proof theory

Dragalin, Alʹbert Grigorʹevich

American Mathematical Society
5 図書 Proof methods for modal and intuitionistic logics

Fitting, Melvin Chris

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
11 図書 Proofs and refutations : the logic of mathematical discovery

Lakatos, Imre, 1927-1974, Worrall, John, Zahar, Elie

Cambridge University Press
6 図書 Natural logic

Tennant, Neil, 1950-

Edinburgh University Press
12 図書 Adapting proofs-as-programs : the Curry-Howard protocol

Poernomo, Iman Hafiz, 1976-, Crossley, John N., 1937-, Wirsing, M. (Martin)

Springer