Einführung in die mathematische Logik Teil 2 Prädikatenkalkül der ersten Stufe

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Asser, Günter (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Leipzig Teubner 1972
Schriftenreihe:Mathematisch-naturwissenschaftliche Bibliothek 19
Schlagworte:
Mathematische Logik > Prädikatenlogik > Beweis > Kalkül > Quantifizierung > Axiomatik
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!