• biçimsel mantık ve matematikle ilgili sorunları, doğal dilin belirsizliğini önlemeyi amaçlayan özel bir yazılı dil kullanarak inceleyen mantık türü...
hesabın var mı? giriş yap