Funkcje rekurencyjne i elementy metamatematyki: problemy zupełności, rozstrzygalności, twierdzenia Gödla

Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.615.M87 1990

ISBN(s)

8323203555

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidability.E. Mendelson - 2000 - Philosophia Mathematica 8 (3):345-346.
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
Roman Murawski, recursive functions and metamathematics.Rod Downey - 2002 - Studia Logica 70 (2):297-299.
Roman Murawski, Recursive Functions and Metamathematics. [REVIEW]Roman Murawski - 2002 - Studia Logica 70 (2):297-299.
The completeness of elementary algebra and geometry.Alfred Tarski - 1967 - Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal.
Twierdzenie Gödla i jego interpretacje filozoficzne: od mechanicyzmu do postmodernizmu.Stanisław Krajewski - 2003 - Warszawa: Wydawn. Instytutu Filozofii i Socjologii PAN.
Mathematical logic through Python.Yannai A. Gonczarowski - 2022 - New York, NY: Cambridge University Press. Edited by Noam Nisan.
An elementary system as and its semi‐completeness and decidability.Qin Jun - 1992 - Mathematical Logic Quarterly 38 (1):305-320.
Problema nepolnoty teorii i ee gnoseologicheskoe znachenie.L. G. Antipenko - 1986 - Moskva: Nauka. Edited by N. I. Sti︠a︡zhkin & L. I. Mchedlishvili.
Completeness of the primitive recursive $$omega $$ ω -rule.Emanuele Frittaion - 2020 - Archive for Mathematical Logic 59 (5-6):715-731.

Analytics

Added to PP
2023-05-19

Downloads
7 (#1,635,346)

6 months
3 (#1,471,287)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references