Metamathematics of first-order arithmetic

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

Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings

by Hájek, Petr
Published 1995

Metamathematics of Fuzzy Logic

by Hájek, Petr
Published 1998

Smooth Analysis in Banach Spaces

by Hájek, Petr, Johanis, Michal
Published 2014

Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy

Published 2016

Banach Space Theory : The Basis for Linear and Nonlinear Analysis

by Fabian, Marián, Habala, Petr, Hájek, Petr, Montesinos, Vicente
Published 2011