The two-volume monograph by D. Hilbert and P. Bernais occupies a unique place in world mathematical literature. Its first German edition, published in the thirties, summed up the process of the formation of mathematical logic as an independent mathematical discipline with its own problems and its own methods. This book had a decisive influence on the further development of mathematical logic.