メインコンテンツに移動

このページのQRコード

Foundations without foundationalism : a case for second-order logic

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Stewart Shapiro
出版情報
  • Oxford : Clarendon Press
  • New York ; Tokyo : Oxford University Press , 1991
形態
  • xx, 277 p.  ;  25 cm
ISBN
  • 9780198533917 [0198533918]
  • 9780198250296 [0198250290] (: pbk)
シリーズ名
著者名
書誌ID
  • BA13305230
注記
  • Bibliography: p. [263]-272
  • Includes index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA9
  • DCC：511.3
  • LCSH：Logic, Symbolic and mathematical
主題
タイトルが類似している資料
類似資料
図書

Intensional mathematics

Shapiro, Stewart, 1951-
North-Holland, 1985
図書

Classical propositional operators : an exercise in the foundations of logic

Segerberg, Krister, 1936-
Clarendon Press, 1982 Oxford University Press
図書

First-order logic

Smullyan, Raymond M., 1919-
Springer-Verlag, 1968
図書

A study of logics

Cleave, J. P. (John P.)
Clarendon Press Oxford University Press, 1991
図書

Modal logic

Chagrov, Alexander Zakharyaschev, Michael
Clarendon Press Oxford University Press, 1997
図書

First-order logic

Smullyan, Raymond M., 1919-
Dover, c1995
図書

Social control : a survey of the foundations of order

Ross, Edward Alsworth, 1866-1951
Macmillan, 1901
図書

Many-valued logics

Malinowski, Grzegorz
Clarendon Press Oxford University Press, 1993
図書

Behavioral assessment in schools : theory, research, and clinical foundations

Shapiro, Edward S. (Edward Steven), 1951- Kratochwill, Thomas R.
Guilford Press, c2000
図書

Oxford logic guides

Clarendon Press Oxford University Press
図書

Interpolation and definability : modal and intuitionistic logics

Gabbay, Dov M., 1945- Maksimova, L.
Clarendon Press, 2005
図書

Computability theory, semantics, and logic programming

Fitting, Melvin Chris
Oxford University Press Clarendon Press, 1987
図書

Toposes and local set theories : an introduction

Bell, J. L. (John Lane)
Clarendon Press Oxford University Press, 1988
図書

Subsystems of second order arithmetic

Simpson, Stephen G. (Stephen George), 1945-
Springer-Verlag, c1999
図書

Classical mathematical logic : the semantic foundations of logic

Epstein, Richard L., 1947-
Princeton University Press, c2006
図書

Five papers on logic and foundations

T︠S︡eĭtin, G. S.
American Mathematical Society, 1972
図書

Foundations of mathematical logic

Curry, Haskell B. (Haskell Brooks), 1900-
Dover Publications, 1977
図書

Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic

Duží, Marie Jespersen, Bjørn Materna, Pavel
Springer, c2010
図書

Recursive aspects of descriptive set theory

Mansfield, Richard, 1941- Weitkamp, Galen, 1951-
Oxford University Press Clarendon Press, 1985
図書

Elements of logic and foundations of mathematics in problems

Marek, Wiktor Onyszkiewicz, Janusz
D. Reidel PWN-Polish Scientific Publishers Distributors for the U.S.A. and Canada, Kluwer Boston, c1982