An edition of Proof in Alonzo Church's and Alan Turing's Mathematical Logic (2012)

Proof in Alonzo Church's and Alan Turing's Mathematical Logic

Undecidability of First-Order Logic

by

Proof in Alonzo Church's and Alan Turing's Ma ...
Jonathan O. Chimakonam (Ph D), ...
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 3, 2022 | History
Edit
An edition of Proof in Alonzo Church's and Alan Turing's Mathematical Logic (2012)

Proof in Alonzo Church's and Alan Turing's Mathematical Logic

Undecidability of First-Order Logic

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
AuthorHouse, Brand: AuthorHouse
Pages
166

Check nearby libraries

Buy this book

Edition Availability
Cover of: Proof in Alonzo Church's and Alan Turing's Mathematical Logic
Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic
Nov 07, 2012, AuthorHouse, Brand: AuthorHouse
hardcover

Add another edition?

Book Details

Edition Notes

Source title: Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic

The Physical Object

Format
hardcover
Number of pages
166

ID Numbers

Open Library
OL42860434M
ISBN 10
1477286691
ISBN 13
9781477286692

Source records

amazon.com record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 3, 2022 Created by ImportBot import new book