Metamathematical investigation of intuitionistic arithmetic and analysis | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Metamathematical investigation of intuitionistic arithmetic and analysis

種類:: 図書
責任表示:: A.S. Troelstra (ed.)
出版情報:: Berlin : Springer, 1973
著者名:: Troelstra, A. S. (Anne Sjerp) <DA00234679>
シリーズ名:: Lecture notes in mathematics ; 344 <BA00146586>
ISBN:: 9780387064918 [0387064915] (: u.s.)
9783540064916 [3540064915] (: gw)
注記:: Bibliography: p. [462]-475

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	Intuitionistic mathematics; Model theory; Proof theory
分類・件名:	NDC7 : 410.8 LCSH : Intuitionistic mathematics LCSH : Proof theory LCSH : Model theory
LCCN:	73014239
TTLL:	eng
言語:	英語
形態:	xvii, 486 p. : ill. ; 24 cm
書誌ID:	BA06811112

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Troelstra, Anne S., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932- North-Holland Pub. Co.
2 図書 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. (Anne Sjerp) Springer-Verlag	8 図書 Lectures on linear logic Troelstra, A. S. (Anne Sjerp) Center for the Study of Language and Information
3 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag	9 図書 Introduction to model theory and to the metamathematics of algebra Robinson, Abraham, 1918-1974 North-Holland Pub. Co.
4 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press	10 図書 Forcing, arithmetic, division rings Hirschfeld, Joram, Wheeler, William H., 1946- Springer-Verlag
5 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics Wallen, Lincoln A. MIT Press	11 図書 Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies Buchholz, Wilfried, 1948- Springer-Verlag
6 図書 Extensional Gödel functional interpretation : a consistency proof of classical analysis Luckhardt, Horst Springer-Verlag	12 図書 Metamathematics of first-order arithmetic Hájek, Petr, Pudlák, Pavel, 1952- Springer-Verlag