Besonderhede van voorbeeld: 5355531806200036380

English

Models for first-order logic are more interesting.

Spanish

Los modelos de la lógica de primer orden son más interesantes.