yr 〜
yr

Search results 9

Higher recursion theory

Higher recursion theory
Paper図書
Gerald E. SacksAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Fundamentals of stability theory

Fundamentals of stability theory
Paper図書
John T. BaldwinAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

Essential stability theory

Essential stability theory
Paper図書
Steven BuechlerAssociation for Symbolic Logic : Cambridge University Pressc2016
Other Libraries in Japan

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

Pure inductive logic

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

Proof and computations

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

Logical foundations of proof complexity

Logical foundations of proof complexity
Paper図書
Stephen Cook, Phuong NguyenAssociation for Symbolic Logic : Cambridge University Press2010
Other Libraries in Japan

Subsystems of second order arithmetic 2nd ed

Subsystems of second order arithmetic 2nd ed
Paper図書
Stephen G. SimpsonAssociation for Symbolic Logic : Cambridge University Press2009
Other Libraries in Japan

Perspectives in logic

Perspectives in logic
Paper図書
Association for Symbolic Logic : Cambridge University Press
Other Libraries in Japan

Reached to the end of result.