Deducibility and decidability
Gill, R.R. Rockingham
Deducibility and decidability - - London : Routledge, 1990 1990 - viii,162 p. 22 cm - .
0-415-00033-51
Logic, Symbolic and mathematical
Decidability (Mathematical logic)
16 Gil
Deducibility and decidability - - London : Routledge, 1990 1990 - viii,162 p. 22 cm - .
0-415-00033-51
Logic, Symbolic and mathematical
Decidability (Mathematical logic)
16 Gil