An edition of Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe (1959)

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

by

Reduktionstheorie des Entscheidungsproblems i ...
János Surányi, János Surán ...
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

Buy this book

Last edited by MARC Bot
September 28, 2020 | History
Edit
An edition of Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe (1959)

Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

by

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

Publish Date
Publisher
Verlag der Ungarischen Akademie der Wissenschaften
Language
German
Pages
215

Buy this book

Subjects

Recursive functions, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Edition Availability
Cover of: Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
1959, Verlag der Ungarischen Akademie der Wissenschaften
in German
Cover of: Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
1959, Deutscher Verlag der Wissenschaften
in German

Add another edition?

Book Details

Edition Notes

Includes bibliography.

Published in
Budapest

Classifications

Library of Congress
BC135 .S85

The Physical Object

Pagination
215 p.
Number of pages
215

ID Numbers

Open Library
OL5873679M
LCCN
63001533

Source records

Scriblio MARC record
Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
September 28, 2020 Edited by MARC Bot import existing book
October 19, 2009 Edited by WorkBot add edition to work page
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record