Practice-oriented tasks in predicate logic
Практико-ориентированные задачи по логике предикатов

T.I. Truntaeva, Tsiolkovsky Kaluga State University
2021 CONTINUUM. MATHS. INFORMATICS. EDUCATION  
Laboratory work and tasks-projects in mathematics -10 works. 2. Verification works in mathematics -9 works]. Moscow: Worker of Education". (In Russ) 6. Tarasova, O.V. (1999). Po stranicam arifmeticheskogo zadachnika dlya derevenskoj shkoly. K 120-letiyu so dnya rozhdeniya A.M. Astryaba [On the pages of the arithmetic problem book for the village school. To the 120 th anniversary of the birth of A. M. Astriab]. Nachal'naya shkola [Primary school], 2, 53-55.
doi:10.24888/2500-1957-2021-1-57-64 fatcat:425vnylpe5f6xed334c4nckpte