Finding Contents or People

Journal articles
On the Convergence Properties of Autonomous Demand Side Management Algorithms
A General Model for EV Drivers’ Charging Behavior
Journal editorial board
Research projects
Bio
Basic notions of model theory
Model-theoretic definition
Proof Theory
Philosophical logic
Advanced Mathematical Logic Fall 2013:Course Aims and Assessment
What is the Mathematical Logic?
Recursion Theory
Journal Papers
Conference Papers