Jump to main content

yr 〜
yr

Search results 29

Subsystems of second order arithmetic : hard

Subsystems of second order arithmetic : hard
Paper図書
Stephen G. SimpsonSpringer-Verlagc1999
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Finite model theory 2nd rev. and enl. ed

Finite model theory 2nd rev. and enl. ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg FlumSpringerc1999
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Proper and improper forcing hard : alk. paper 2nd ed

Proper and improper forcing hard : alk. paper 2nd ed
Paper図書
Saharon ShelahNew York : Springer1998
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Set theory 2nd corrected ed

Set theory 2nd corrected ed
Paper図書
Thomas JechSpringerc1997
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

The higher infinite : large cardinals in set theory from their beginnings : gw Corrected 2nd printing

The higher infinite : large cardinals in set theory from their beginnings : gw Corrected 2nd printing
Paper図書
Akihiro KanamoriSpringer-Verlagc1997
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

The classical decision problem : gw

The classical decision problem : gw
Paper図書
Egon Börger, Erich Grädel, Yuri GurevichSpringerc1997
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Essential stability theory

Essential stability theory
Paper図書
Steven BuechlerSpringerc1996
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Finite model theory

Finite model theory
Paper図書
Heinz-Dieter Ebbinghaus, Jörg FlumSpringerc1995
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

The higher infinite : large cardinals in set theory from their beginnings : gw : us

The higher infinite : large cardinals in set theory from their beginnings : gw : us
Paper図書
Akihiro KanamoriSpringer-Verlagc1994
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Metamathematics of first-order arithmetic : gw : softcover : us

Metamathematics of first-order arithmetic : gw : softcover : us
Paper図書
Petr Hájek, Pavel PudlákSpringer-Verlagc1993
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Higher recursion theory : gw : us

Higher recursion theory : gw : us
Paper図書
Gerald E. SacksSpringer-Verlagc1990
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Computability in analysis and physics : gw : us

Computability in analysis and physics : gw : us
Paper図書
Marian B. Pour-El, J. Ian RichardsSpringerc1989
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Fundamentals of stability theory : us : gw

Fundamentals of stability theory : us : gw
Paper図書
John T. BaldwinSpringer-Verlagc1988
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk
Paper図書
Robert I. SoareSpringer-Verlag[20--], c1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Model theory : Germany : U.S.

Model theory : Germany : U.S.
Paper図書
Heinz-Dieter Ebbinghaus (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Proof theory, constructive mathematics : Germany : U.S.

Proof theory, constructive mathematics : Germany : U.S.
Paper図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Set theory : Germany : U.S.

Set theory : Germany : U.S.
Paper図書
Andreas R. Blass (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany
Paper図書
Robert I. SoareSpringer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Recursion theory : Germany : U.S.

Recursion theory : Germany : U.S.
Paper図書
Peter G. Hinman (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic

Non-classical logics : Germany : U.S.

Non-classical logics : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Related MaterialPerspectives in mathematical logic
  • Periodical TitlePerspectives in mathematical logic
RSS