Number of the records: 1
Undecidable theories
- Tarski, Alfred, 1902-1983
Undecidable theories / by Alfred Tarski in collaboration with Andrzej Mostowski and Raphael M. Robinson. -- Amsterdam : North-Holland Publishing Company, 1953. -- xi, 98 s. -- (Studies in logic and the foundations of mathematics). -- Rejstř.
aritmetika. logika. matematická logika. rozhodování
164. 164.053. 511.1
Number of the records: 1