| dbo:abstract
|
- A Frege-kalkulus egy matematikai logikai (levezetőrendszer), azaz egy alapjelekből, axiómákból, levezetési szabályokból álló formális nyelv vagy elmélet, melyet Gottlob Frege jénai matematikus alkotott meg 1879-ben megjelent, Fogalomírás (Begriffsschrift) c. könyvében. (hu)
- A Frege-kalkulus egy matematikai logikai (levezetőrendszer), azaz egy alapjelekből, axiómákból, levezetési szabályokból álló formális nyelv vagy elmélet, melyet Gottlob Frege jénai matematikus alkotott meg 1879-ben megjelent, Fogalomírás (Begriffsschrift) c. könyvében. (hu)
|
