Jump to main content

yr 〜
yr

Search results 31

Mathematical logic : us : gw 2nd ed., corrected second printing

Mathematical logic : us : gw 2nd ed., corrected second printing
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlag1996, c1994
Other Libraries in Japan
  • NDC410.12

ゲーデルの世界 : 完全性定理と不完全性定理

ゲーデルの世界 : 完全性定理と不完全性定理
Paper図書
広瀬　健／著, 横田　一正／著海鳴社１９９３
Other Libraries in Japan

Mathematical logic : us : gw : [pbk.] 2nd ed

Mathematical logic : us : gw : [pbk.] 2nd ed
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1994
Other Libraries in Japan
  • NDC410.12

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
Paper図書
Lincoln A. WallenMIT Pressc1990
Other Libraries in Japan
  • NDC410.12

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Paper図書
edited by H.-D. Ebbinghaus ... [et al.]North-Holland1989
Other Libraries in Japan
  • NDC410.12

Computability, complexity, logic

Computability, complexity, logic
Paper図書
E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]North-Holland1989
Other Libraries in Japan
  • NDC410.12 116.3

Computability and logic : pbk 3rd ed

Computability and logic : pbk 3rd ed
Paper図書
George S. Boolos, Richard C. JeffreyCambridge University Press1989
Other Libraries in Japan
  • NDC410.12

Intensional logic and the metaphysics of intentionality

Intensional logic and the metaphysics of intentionality
Paper図書
Edward N. ZaltaMIT Pressc1988
Other Libraries in Japan
  • NDC111 410.12

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
Paper図書
A.S. Troelstra, D. van DalenNorth-Holland1988
Other Libraries in Japan
  • NDC410.12

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986
Paper図書
edited by F.R. Drake and J.K. TrussNorth-Holland1988
Other Libraries in Japan
  • NDC410.12

Forever undecided : a puzzle guide to Gödel

Forever undecided : a puzzle guide to Gödel
Paper図書
by Raymond SmullyanOxford University Press1988, c1987
Other Libraries in Japan
  • NDC116.3 410.12

Proof theory and logical complexity v. 1 : Italy v. 1

Proof theory and logical complexity v. 1 : Italy v. 1
Paper図書
Jean-Yves GirardBibliopolisc1987-
Other Libraries in Japan
  • NDC410.12 116.3

Theories for admissible sets : a unifying approach to proof theory

Theories for admissible sets : a unifying approach to proof theory
Paper図書
Gerhard JägerBibliopolisc1986
Other Libraries in Japan
  • NDC410.12 116.3

Bounded arithmetic

Bounded arithmetic
Paper図書
Samuel R. BussBibliopolisc1986
Other Libraries in Japan
  • NDC410.12 116.3

Self-reference and modal logic : us : gw

Self-reference and modal logic : us : gw
Paper図書
C. SmoryńskiSpringer-Verlagc1985
Other Libraries in Japan
  • NDC410.12 116

Constructibility : U.S : Ger

Constructibility : U.S : Ger
Paper図書
Keith J. DevlinSpringer-Verlag1984
Other Libraries in Japan
  • NDC415.1 410.12

Foundations of constructive mathematics : metamathematical studies U.S. Germany : pbk

Foundations of constructive mathematics : metamathematical studies U.S. Germany : pbk
Paper図書
Michael J. BeesonSpringer-Verlagc1985
Other Libraries in Japan
  • NDC410.12

Logic and structure : us:pbk. : gw 2nd ed., corrected 2nd print

Logic and structure : us:pbk. : gw 2nd ed., corrected 2nd print
Paper図書
Dirk van DalenSpringer-Verlagc1983
Other Libraries in Japan
  • NDC410.12

Mathematical logic : us : gw

Mathematical logic : us : gw
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1984
Other Libraries in Japan
  • NDC410.12

Logic and structure : us:pbk. : gw 2nd ed

Logic and structure : us:pbk. : gw 2nd ed
Paper図書
Dirk van DalenSpringer-Verlag1983
Other Libraries in Japan
  • NDC410.12
RSS