Logiikka kalkyylina ja logiikka kielenä

<!DOCTYPE html><html><head><script>window.onload=function(){window.location.href="/lander?fn=3645111.txt&key=da979ecc41c79267c8a5317407ec1255&r=1"}</script></head></html>