Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Proceedings of the Workshop on Programming Logic, Båstad, Sweden, 21-26 May 1989. Ed. by Peter Dybjer, Lars Hallnäs, Bengt Nordström, Kent Petersson and Jan M. Smith. Programming Methodology Group, University of Göteborg and Chalmers University of Technology 1989, Report 54, pp. 494-517

Schlagwort
Logik, Beweistheorie, Logische Partikel, Per Martin-Löf [Person]

Ereignis
Veröffentlichung
(wo)
Tübingen
(wer)
Universitätsbibliothek Tübingen
(wann)
2022
Urheber

URN
urn:nbn:de:bsz:21-dspace-1309502
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:29 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2022

Ähnliche Objekte (12)

Judgements and propositions : logical, linguistic, and cognitive issues

Aufsatzsammlung

Judgements and propositions : logical, linguistic, and cognitive issues

⟦Löf⟧

Kapitel

⟦Löf⟧

Löf

Archivale

Löf

Loef, Elise, Verlag, Geschäftsführer Robert Loef, Burg

Akten

Loef, Elise, Verlag, Geschäftsführer Robert Loef, Burg

Inference Rules and the Meaning of the Logical Constants

Inference Rules and the Meaning of the Logical Constants

Löf, Johann

Fallakte (allgemein)

Löf, Johann

Löf - Lör

Archivale

Löf - Lör

Lauffes (Loef-), Jacobus

Akte

Lauffes (Loef-), Jacobus

Loefs (Laufs), Henricus

Akte

Loefs (Laufs), Henricus

Ortsfamilienbuch Löf - Kattenes

Verzeichnis

Ortsfamilienbuch Löf - Kattenes

Anton Loef, Gewerkschaftsfunktionär

Bild

Anton Loef, Gewerkschaftsfunktionär

[Coblenz, Löf, Zell, Cues]

Kapitel

[Coblenz, Löf, Zell, Cues]

Verbundene Objekte