Formal Methods Beth, Evert W[illem] ; An introd. to symbolic logic and to the study of effective operations in arithmetic and logic

Bibliographische Detailangaben

1. Verfasser:	Beth, Evert Willem (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Dordrecht - Holland Reidel (1962)
Schriftenreihe:	(Synthese Library)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!