Matematické Fórum

Posledni dobou jsem se zacal hloubeji zajimat a matematickou logiku a zajimalo by me zda nekdo nevi o nejakem "popularizacnim" pojednani o
tomto tematu. Technickych pramenu mam dostatek ale potreboval bych takove nejake cteni pred spanim napriklad o historickem vyvoji logiky
nebo o motivaci proc vlastne neco takoveho jako predikatova logika potrebujeme apod.

Nemusi jit jen o elektornicke materialy, klidne si koupim i tistenou knihu bude-li zajimava...