Refine your search
Availability
-
bib-level
- m (2)
-
Authors
-
Locations
-
Item types
-
Topics
- АЛГОЛ-60, алгоритмический язык (1)
- Геделя теорема (1)
- автоматизация доказательств (1)
- автоматов теория (1)
- алгоритмов теория (1)
- арифметика формальная (1)
- булевы функции (1)
- дедуктивные теории (2)
- интуиционизм (1)
- интуиция (1)
- истина (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- кибернетика (1)
- логика (1)
- логицизм (1)
- математика (1)
- математическая истина (1)
- математическое доказательство (1)
- математическое знание (1)
- Show more
- Show less