Metamathematics of first-order arithmetic

このページのQRコード

種類:

図書

責任表示:

Petr Hájek, Pavel Pudlák

出版情報:

Berlin ; New York : Springer-Verlag, c1993

著者名:

シリーズ名:

Perspectives in mathematical logic <BA00027452>

ISBN:

9783540636489 [354063648X] (: gw)

9780387506326 [0387506322] (: us)

注記:

Includes bibliographical references (p. [409]-453) and index

所蔵情報

子書誌情報

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

詳細

主題:	Arithmetic--Foundations
分類・件名:	LCC : QA248 DDC : 513/.01 LCSH : Arithmetic -- Foundations
LCCN:	92021885
TTLL:	eng
言語:	英語
形態:	xiv, 460 p. ; 25 cm
書誌ID:	BA1935661X
XISBN:	9783540506324 [3540506322] (: gw)

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The structure of arithmetic and algebra Maria, May Hickey Wiley	7 図書 A modern introduction to basic mathematics Keedy, Mervin Laverne Addison-Wesley Publishing
2 図書 Set theory : the structure of arithmetic Hamilton, Norman T. (Norman Tyson), 1927-, Landin, Joseph Allyn and Bacon	8 図書 The real number system in an algebraic setting Roberts, Joe B. W. H. Freeman
3 図書 Finite precision number systems and arithmetic Kornerup, Peter, Matula, David W. Cambridge University Press	9 図書 Modern elementary mathematics Ward, Morgan, Hardgrove, Clarence Ethel Addison-Wesley Pub. Co
4 図書 Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. (Anne Sjerp) Springer	10 図書 Introduction to logic and to the methodology of the deductive sciences Tarski, Alfred, 1902-, Tarski, Jan Oxford University Press
5 電子ブック Metamathematical Investigation of Intuitionistic Arithmetic and Analysis Troelstra, Anne S., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	11 図書 Mathematics for elementary teachers Crouch, Ralph, Baldwin, George Wiley
6 図書 Cardinal algebras : with an appendix, Cardinal products of isomorphism types Tarski, Alfred, 1902-, Jónsson, Bjarni, 1920- Oxford University Press	12 図書 Introduction to logic and to the methodology of deductive sciences Tarski, Alfred, 1902-, Helmer-Hirschberg, Olaf Oxford University Press