Click in the field, then press CTRL+C to copy the HTML code
<div style="background:#fff;border:#bbb dashed 1px;padding:5px"><a href="http://www.citatepedia.com/comments.php?id=588986" style="color:#000;text-decoration:none"><a href="http://www.citatepedia.com/comments.php?id=588986" style="color:#000;text-decoration:none">RESEARCH ON RECURSIVE FUNCTIONS, LOGIC AND THEORY OF DEMONSTRATION - In 1927, the Romanian mathematician Gabriel Sudan (1899-1977), with his doctorate at David Hilbert, gave the first example of a recursive function that is not primitive recursive, before Wilhelm Ackermann ( 1928). Between 1934-1942, at the University of Iași, the mathematician Grigore C. Moisil (1906-1973) dealt with "Logic and the theory of demonstration" and aiming to "learn mathematics from the beginning", he studied at the "wonderful library" of the Mathematical Seminar in Iași, the book by Hilbert and Ackermann, but also the 3 volumes “Principia Mathematica” by Russel and Whitehead. Professor Moisil learned about Lukasiewicz's multi-valued logics in the spring of 1935, when T. Kotarbinski, a professor at the University of Warsaw, gave 3 public lectures and a short lecture at the Mathematical Seminar on Lukasiewicz's writing without parentheses. .</a><br><br /></a><strong><a rel="author" href="http://authors.citatepedia.com/by.php?a=Marin+Vlada">Marin Vlada</a></strong> in <em><a href="http://sources.citatepedia.com/from.php?a=Marin+Vlada&d=ROINFO+Romanian+Informatics+2018-2022">ROINFO Romanian Informatics 2018-2022</a></em></div>

solid border dashed border dotted border double border groove border ridge border inset border outset border no border blue green red purple cyan gold silver black