„Adevăr și demonstrație”, un exemplar din biblioteca românească dedicată dialogului dintre teologie și știință, se remarcă prin domeniul din știință ales de autor, unul ermetic și abstract, anume logica formală […] Experiența autorului de a aborda simultan aceste trei domenii conferă cărții aspectul unei treceri graduale de la știință la teologie, cu ajutorul anumitor concepte filozofice, volumul reprezintând o incursiune în trei domenii complementare ale cunoașterii. Firul călăuzitor este dat de căutarea adevărului, care „transcende demonstrația” și e mai presus de „gândirea discursivă, bazată pe algoritmi”.