Natural deduction theorem proving in set theory

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Schmidt, David A. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1983
Schriftenreihe:	University <Edinburgh> / Department of Computer Science: Internal report 142
Schlagworte:	Computer software Mathematics Mathematik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge