1975

Admissible sets and structures

Barwise, J



 

2016

Admissible sets and structures : an approach to definability theory

Barwise, Jon, author.

Cambridge ; New York, NY : Cambridge University Press, [2016]

 

2004

Approximating Perfection : a Mathematician's Journey into the World of Mechanics

Lebedev, L. P., author.



 

1992

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings

Berlin ; New York : Springer-Verlag, ©1992

 

1979

Degrees of unsolvability : structure and theory

Epstein, Richard L., 1947-



 

2011

The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition

Linsky, Bernard.



 

1995

Five hundred mathematical challenges

Barbeau, Edward, 1938-



 

1991

Foundations without foundationalism : a case for second-order logic

Shapiro, Stewart, 1951-



 

2008

Human reasoning and cognitive science

Stenning, Keith.



 

2009

Logic Colloquium 2006

Logic Colloquium (2006 : Nijmegen, Netherlands)



 

2004

Logic in computer science : modelling and reasoning about systems

Huth, Michael, 1962-
2nd ed


 

2010

Mathematical reasoning : patterns, problems, conjectures, and proofs

Nickerson, Raymond S.



 

2004

One hundred years of Russell's paradox : mathematics, logic, philosophy

 

2005

The Oxford Handbook of Philosophy of Mathematics and Logic

 

2005

Propositions, functions, and analysis : selected essays on Russell's philosophy

Hylton, Peter



 

2006

The seventeen provers of the world

 

1998

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995