Admissibility of logical inference rules

Literaturverz. S. 603 - 617

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rybakov, Vladimir V. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 1997
Schriftenreihe:	Studies in logic and the foundations of mathematics 136
Schlagworte:	Logic, Symbolic and mathematical > Inference > Lehrbuch > Logischer Schluss > Zulässigkeit > Syntax > Formale Semantik
Online Zugang:	Inhaltsverzeichnis Verlagsangaben Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!