Matemātiskā loģika
Matemātiskā loģika (teorētiskā loģika, simboliskā loģika) ir matemātikas nozare, kas pēta matemātisko pierādījumu formas, formālās valodas izteikumus un operācijas ar izteikumiem. Matemātiskā loģika apvieno vienā disciplīnā matemātiku un loģiku, aprakstot pareizai domāšanai raksturīgās formālās kārtulas.
Skatīt arī
[labot šo sadaļu | labot pirmkodu]Ārējās saites
[labot šo sadaļu | labot pirmkodu]
Vikikrātuvē par šo tēmu ir pieejami multivides faili. Skatīt: Matemātiskā loģika.
- Timothy Gowers, June Barrow-Green, Imre Leader. The Princeton companion to mathematics. Princeton University Press, 2008. ISBN 978-0-69-111880-2..
 | Šis ar matemātiku saistītais raksts ir nepilnīgs. Jūs varat dot savu ieguldījumu Vikipēdijā, papildinot to. |
 | Šis raksts ir ļoti īss un nepilnīgs. Jūs varat dot savu ieguldījumu Vikipēdijā, papildinot to. |
|