Accession Number: CS449
Title: The Mathematics of Logic. A guide to completeness theorems and their applications
Author: Richard W. Kaye
Year : 2006
Subject: Computer & IT
ISBN/EISBN: 9.78E+12
Medium: Electronic
URL:
Availability: yes
