年 〜
年

検索結果 31 件

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

Mathematical logic : us : gw 2nd ed., corrected second printing
紙図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlag1996, c1994
全国の図書館

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

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

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

Mathematical logic : us : gw : [pbk.] 2nd ed
紙図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1994
全国の図書館

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
紙図書
Lincoln A. WallenMIT Pressc1990
全国の図書館

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
紙図書
edited by H.-D. Ebbinghaus ... [et al.]North-Holland1989
全国の図書館

Computability, complexity, logic

Computability, complexity, logic
紙図書
E. Börger ; [translated into the English language and prepared for offset printing by J.C. Harvey]North-Holland1989
全国の図書館

Computability and logic : pbk 3rd ed

Computability and logic : pbk 3rd ed
紙図書
George S. Boolos, Richard C. JeffreyCambridge University Press1989
全国の図書館

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

Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
紙図書
A.S. Troelstra, D. van DalenNorth-Holland1988
全国の図書館

Intensional logic and the metaphysics of intentionality

Intensional logic and the metaphysics of intentionality
紙図書
Edward N. ZaltaMIT Pressc1988
全国の図書館

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
紙図書
edited by F.R. Drake and J.K. TrussNorth-Holland1988
全国の図書館

Forever undecided : a puzzle guide to Gödel

Forever undecided : a puzzle guide to Gödel
紙図書
by Raymond SmullyanOxford University Press1988, c1987
全国の図書館

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

Proof theory and logical complexity v. 1 : Italy v. 1
紙図書
Jean-Yves GirardBibliopolisc1987-
全国の図書館

Theories for admissible sets : a unifying approach to proof theory

Theories for admissible sets : a unifying approach to proof theory
紙図書
Gerhard JägerBibliopolisc1986
全国の図書館

Bounded arithmetic

Bounded arithmetic
紙図書
Samuel R. BussBibliopolisc1986
全国の図書館

Self-reference and modal logic : us : gw

Self-reference and modal logic : us : gw
紙図書
C. SmoryńskiSpringer-Verlagc1985
全国の図書館

Constructibility : U.S : Ger

Constructibility : U.S : Ger
紙図書
Keith J. DevlinSpringer-Verlag1984
全国の図書館

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

Foundations of constructive mathematics : metamathematical studies U.S. Germany : pbk
紙図書
Michael J. BeesonSpringer-Verlagc1985
全国の図書館

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

Logic and structure : us:pbk. : gw 2nd ed., corrected 2nd print
紙図書
Dirk van DalenSpringer-Verlagc1983
全国の図書館

Mathematical logic : us : gw

Mathematical logic : us : gw
紙図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1984
全国の図書館

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

Logic and structure : us:pbk. : gw 2nd ed
紙図書
Dirk van DalenSpringer-Verlag1983
全国の図書館