Informatikus fizikus szak
Matematikai logika

• 2+1 óra
• Tantárgyfelelős: Dr. Szabó László, tudományos főmunkatárs, ELTE-MTA Elméleti Fizika Tanszéki Kutatócsoport
• Javasolt felvétel: I/2
• Előfeltételek: --

• Jegyzet
• Olvasmányok
• J. N. Crossley, et al., What is Mathematical Logic?, Dover Publications, New York, 1990.
   (Első kiadás: Oxford Univ. Press, 1972).
• Az oktató a tárggyal kapcsolatos honlapja