Cover Image

Osnovanija matematiki Logičeskije isčislenija i formalizacija arifmetiki

Bibliographic Details
Main Authors: Hilbert, D. (Author), Bernays, P.
Format: Book
Language:Russian
German
Published: 1979
Edition:2. vyd
Subjects:
matematická logika
výpočty
Location:
AOSLM

Also by Hilbert, D.