Formal methods 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
Sprache:	eng
Veröffentlicht:	Dordrecht Reidel 1962
Schriftenreihe:	Synthese library
Schlagworte:	Mathematische Logik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!