>> Amazon.co.jp
このページのQRコード

Logical frameworks for truth and abstraction : an axiomatic study

種類:
図書
責任表示:
Andrea Cantini
出版情報:
Amsterdam ; Tokyo : Elsevier Science B.V., 1996
著者名:
Cantini, Andrea <DA09815397>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 135 <BA00099329>
ISBN:
9780444823069 [0444823069]  CiNii Books  Calil
注記:
Bibliography: p. [425]-440
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

James, William, 1842-1910, Bowers, Fredson Thayer, 1905-1991, Skrupskelis, Ignas K., 1938-

Harvard University Press

Lightstone, A. H.

Prentice-Hall

Putnam, Hilary

Cambridge University Press

Carnap, Rudolf, 1891-1970, Zeppelin, Amethe von

Routledge and Kegan Paul

Moody, Ernest A. (Ernest Addison), 1903-

North-Holland Pub. Co.

Gabbay, Dov M., 1945-

Clarendon Press, Oxford University Press

Santayana, George, 1863-1952

Constable

Etchemendy, John, 1952-

Harvard University Press

Schmidt, Lawrence Kennedy, 1949-

Northwestern University Press

Solomon, Robert C.

Oxford University Press

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

Clarendon Press, Oxford University Press

Ramsey, Frank Plumpton, 1903-1930, Braithwaite, R. B. (Richard Bevan), Moore, G. E. (George Edward), 1873-1958

K. Paul, Trench, Trubner, Harcourt Brace