-
1
Games, norms and reasons logic at the crossroads
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
2
Logic and games on automatic structures playing with quantifiers and decompositions
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
3
-
4
-
5
-
6
Diophantus introduction to mathematical philosophy (with solution of fermat and other applications)
Foilsithe / Cruthaithe 1993LEABHAR -
7
-
8
Truth, deduction, and computation logic and semantics for computer science
Foilsithe / Cruthaithe 1989LEABHAR -
9
Ones and zeros understanding boolean algebra, digital circuits, and the logic of sets
Foilsithe / Cruthaithe 1986LEABHAR