First-order logic
Explore catalogue records classified under First-order logic.
6 catalogue recordsCatalogue records
A Beginner s Guide to Mathematical logic
Author not listed
Year not listed
Formal logic
Jeffrey, Richard
1991
Formal logic
Jeffrey, Richard C.
1981
Popular Lectures on Mathematical Logic
Author not listed
Year not listed
Tarski's world: Revised and expanded
Barker-Plummer, Dave
2008
The principles of mathematics revisited
Hintikka, Jaakko
1996