Jump to main content

yr 〜
yr

Search results 25

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)
Paper図書
Cambridge University Press2009.<MA41-B25>
National Diet Library

Fundamentals of Stability Theory

Fundamentals of Stability Theory
Digital電子書籍・電子雑誌図書
1988
Available onlineNational Diet Library
  • Abbreviated TitlePERSPECTIVES IN LOGIC

Model-Theoretic Logics

Model-Theoretic Logics
Digital電子書籍・電子雑誌図書
1985
Available onlineNational Diet Library
  • Abbreviated TitlePERSPECTIVES IN LOGIC

General Recursion Theory: An Axiomatic Approach

General Recursion Theory: An Axiomatic Approach
Digital電子書籍・電子雑誌図書
1980
Available onlineNational Diet Library
  • Abbreviated TitlePERSPECTIVES IN LOGIC

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies
Digital電子書籍・電子雑誌図書
1978
Available onlineNational Diet Library
  • Abbreviated TitlePERSPECTIVES IN LOGIC

Admissible Sets and Structures: An Approach to Definability Theory

Admissible Sets and Structures: An Approach to Definability Theory
Digital電子書籍・電子雑誌図書
1975
Available onlineNational Diet Library
  • Abbreviated TitleADMISSIBLE SETS AND STRUCTURES PERSPECTIVES IN LOGIC

Computable structure theory : within the arithmetic : hardback

Computable structure theory : within the arithmetic : hardback
Paper図書
Antonio MontalbánCambridge University Press2021
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Fundamentals of stability theory

Fundamentals of stability theory
Paper図書
John T. BaldwinAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Constructibility hbk.

Constructibility hbk.
Paper図書
Keith J. DevlinCambridge University Press2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Computability in analysis and physics : hardback

Computability in analysis and physics : hardback
Paper図書
Marian B. Pour-El, J. Ian RichardsAssociation for symbolic logicc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic
Paper図書
Petr Hájek, Pavel PudlákAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Model-theoretic logics

Model-theoretic logics
Paper図書
edited by J. Barwise, S. FefermanAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Essential stability theory

Essential stability theory
Paper図書
Steven BuechlerAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Admissible sets and structures : an approach to definability theory : hardback

Admissible sets and structures : an approach to definability theory : hardback
Paper図書
Jon BarwiseAssociation for Symbolic Logicc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Higher recursion theory

Higher recursion theory
Paper図書
Gerald E. SacksAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Pure inductive logic

Pure inductive logic
Paper図書
Jeffrey Paris, Alena VencovskáAssociation for Symbolic Logic : Cambridge University Press2015
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Logical foundations of proof complexity : pbk

Logical foundations of proof complexity : pbk
Paper図書
Stephen Cook, Phuong NguyenAssociation for Symbolic Logic2014, c2010
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Lambda calculus with types

Lambda calculus with types
Paper図書
Henk Barendregt, Wil Dekkers, Richard StatmanAssociation for Symbolic Logic2013
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Proof and computations

Proof and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerAssociation for Symbolic Logic : Cambridge University Pressc2012
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic

Proofs and computations

Proofs and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerCambridge University Press2012
Other Libraries in Japan
  • Related MaterialPerspectives in logic
  • Periodical TitlePerspectives in logic
RSS