An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

Authors
Publication date
1 January 1977
Publisher
Polska Akademia Nauk. Instytut Matematyczny PAN

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Biblioteka Nauki - repozytorium artykułów

    redirect
    oaioai:bibliotekanauki.pl:1361934
    Last time updated on 20/05/2022