Logic of proofs with substitution: Fid-Bau Portal

Logic of proofs with substitution

Rubtsova, N. M.

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Logic of proofs with substitution

Rubtsova, N. M.

Logic of proofs with substitution

Rubtsova, N. M.

Zugriff

Zugriff über TIB

Verfügbarkeit in meiner Bibliothek prüfen

Bestellung bei Subito €

Seitennavigation

Dokumentinformationen

Ähnliche Titel

Exportieren, teilen und zitieren

Dokumentinformationen

Titel:

Logic of proofs with substitution

Beteiligte:

Rubtsova, N. M. (Autor:in)

Erschienen in:

MATHEMATICAL NOTES -NEW YORK- C/C OF MATEMATICHESKIE ZAMETIK ; 82 ; 816-826

Erscheinungsdatum:

01.01.2007

Format / Umfang:

11 pages

ISSN:

0001-4346

Medientyp:

Aufsatz (Zeitschrift)

Format:

Sprache:

Englisch

Klassifikation:

DDC: 510

Shamkanov, D. S. | British Library Online Contents | 2014

The Complexity of Propositional Proofs

Urquhart, A. | British Library Online Contents | 1998

Visual Proofs in Mathematics and Architecture

Fernández González, Juan | Springer Verlag | 2023

Quality Protection: European Confidence in Conformity Proofs

British Library Online Contents | 1994

Quality Protection: European Confidence in Conformity Proofs

Pesch | Online Contents | 1994

Nach oben