Proofs and computations

by Schwichtenberg, Helmut, Wainer, S. S.
Published 2012

Pure inductive logic

by Paris, J. B., Vencovská, Alena
Published 2015

Subsystems of second order arithmetic

by Simpson, Stephen G.
Published 2009

Logical foundations of proof complexity

by Cook, Stephen, Nguyen, Phuong
Published 2010

Lambda calculus with types

by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013

Computable structure theory : within the arithmetic

by Montalbán, Antonio
Published 2021

Admissible sets and structures : an approach to definability theory

by Barwise, Jon
Published 2016

Recursion-theoretic hierarchies

by Hinman, Peter G.
Published 2016

Computability in analysis and physics

by Pour-El, Marian B., Richards, J. Ian
Published 2016

Essential stability theory

by Buechler, Steven
Published 2016

Metamathematics of first-order arithmetic

by Hájek, Petr, Pudlák, Pavel
Published 2016

Fundamentals of stability theory

by Baldwin, John T.
Published 2016

Constructibility

by Devlin, Keith J.
Published 2016

General recursion theory : an axiomatic approach

by Fenstad, Jens E.
Published 2016

Higher recursion theory

by Sacks, Gerald E.
Published 2016

Model-theoretic logics

Published 2016

Proper and improper forcing

by Shelah, Saharon
Published 2016

Degrees of unsolvability : local and global theory

by Lerman, M.
Published 2016