An edition of Emil L. Post and the problem of mechanical provability (1998)

Emil L. Post and the problem of mechanical provability

a survey of Post's contributions in the centenary of his birth

by

Emil L. Post and the problem of mechanical pr ...
Halina Święczkowska
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 MARC Bot
February 18, 2019 | History
Edit
An edition of Emil L. Post and the problem of mechanical provability (1998)

Emil L. Post and the problem of mechanical provability

a survey of Post's contributions in the centenary of his birth

by

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

Publish Date
Publisher
Chair of Logic, Informatics and Philisiophy of Science University of Białystok
Language
English
Pages
124

Check nearby libraries

Buy this book

Subjects

Symbolic and mathematical Logic, Proof theory

People

Emil Leon Post (1897-1954)
Edition Availability
Cover of: Emil L. Post and the problem of mechanical provability
Emil L. Post and the problem of mechanical provability: a survey of Post's contributions in the centenary of his birth
1998, Chair of Logic, Informatics and Philisiophy of Science University of Białystok
in English

Add another edition?

Book Details

Edition Notes

Published in
Białystok
Series
Studies in logic, grammar and rhetoric,, 2(15)

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54 .E55 1998

The Physical Object

Pagination
124 p. ;
Number of pages
124

Edition Identifiers

Open Library
OL103009M
ISBN 10
8387884073
LCCN
99218631

Work Identifiers

Work ID
OL18977245W

Source records

Scriblio MARC record
Library of Congress MARC 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
February 18, 2019 Created by MARC Bot import existing book