Showing items with similar title or keywords.

• WP-laskennan oikeellisuus ja täydellisyys 

  Vuorenmaa, Antti (2003)

• The formal method known as B and a sketch for its implementation 

  Kaijanaho, Antti-Juhani (2002)

• Alkulukuja ja melkein alkulukuja 

  Tuononen, Minna (2011)

• Musiikin liike ja logiikka : semioottis-looginen analyysi- ja generointimalli Eric Dolphyn jazzimprovisaatioiden pohjalta 

  Kuljuntausta, Petri (1993)

• Avicenna on Negative Judgement 

  Kaukua, Jari (Springer Netherlands, 2020)

  Avicenna’s logical theory of negative judgement can be seen as a systematic development of the insights Aristotle had laid out in the De interpretatione. However, in order to grasp the full extent of his theory one must ...