An edition of Funkcje rekurencyjne i elementy metamatematyki (1990)

Funkcje rekurencyjne i elementy metamatematyki

problemy zupełności, rozstrzygalności, twierdzenia Gödla

Wyd. 1.

by

Cover of: Funkcje rekurencyjne i elementy metamatematyki by Roman Murawski, Roman Murawski
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 Open Library Bot
December 4, 2010 | History
Edit
An edition of Funkcje rekurencyjne i elementy metamatematyki (1990)

Funkcje rekurencyjne i elementy metamatematyki

problemy zupełności, rozstrzygalności, twierdzenia Gödla

Wyd. 1.

by

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

Publish Date
Publisher
Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
Language
Polish
Pages
186

Check nearby libraries

Buy this book

Subjects

Completeness theorem, Decidability (Mathematical logic), Gödel's theorem, Metamathematics, Recursive functions
Edition Availability
Cover of: Funkcje rekurencyjne i elementy metamatematyki
Funkcje rekurencyjne i elementy metamatematyki: problemy zupełności, rozstrzygalności, twierdzenia Gödla
1990, Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
in Polish - Wyd. 1.

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [175]-179) and index.
Summary in English.

Published in
Poznań
Series
Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu,, nr 11, Seria Matematyka ;, nr. 11.

Classifications

Library of Congress
QA9.615 .M87 1990

The Physical Object

Pagination
186 p. ;
Number of pages
186

ID Numbers

Open Library
OL1620640M
ISBN 10
8323203555
LCCN
91164927
Goodreads
7054492

Source records

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
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page