>> Google Books
タイトル、所在が表示されます

Reductive logic and proof-search : proof theory, semantics, and control

フォーマット:
図書
責任表示:
David J. Pym and Eike Ritter
言語:
英語
出版情報:
Oxford : Clarendon Press
New York : Oxford University Press, 2004
形態:
xv, 208 p. ; 24 cm
著者名:
シリーズ名:
Oxford logic guides ; 45 <BA00017765>
書誌ID:
BA68255980
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

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

Słupecki, Jerzy, Borkowski, Ludwik, Wojtasiewicz, Olgierd

Pergamon Press, c1967

Berry, Anthony J., Broadbent, Jane, Otley, David T.

Dartmouth

Mendel, Jerry M., 1938-, Åström, Karl J. (Karl Johan), 1934-, Athans, Michael, Luenberger, David G., 1937-

M. Dekker

Quine, W. V. (Willard Van Orman)

Harvard University Press

Simpson, Stephen G.

Popescu, Nicolae, Popescu, Liliana

Editura Academiei, 1979

Hutson, V., Pym, J. S. (John Sydney) 1938-

Academic Press

Chalmers, David John, 1966-

Oxford University Press