Proof in Alonzo Church's and Alan Turing's Mathematical Logic
Subtitle: Undecidability of First-Order Logic
Publisher: AuthorHouse; Brand: AuthorHouse
Published: Nov 07, 2012
Format: hardcover
Number of pages: 166
ISBN-13: 9781477286692
Notes: Source title: Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic