Deducibility and Decidability
An edition of Deducibility and Decidability (1990)
By R. R. Rockingham Gill
Publish Date
2002
Publisher
Taylor & Francis Group
Language
eng
Pages
170
Description:
subjects: Goedel's theorem, Logic, symbolic and mathematical, Decidability (mathematical logic)