Rudiments of [my]-calculus

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Arnold, André (VerfasserIn)
Weitere Verfasser:	Niwiński, Damian (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2001
Ausgabe:	1. ed
Schriftenreihe:	Studies in logic and the foundations of mathematics 146
Schlagworte:	Predicate calculus > Datenverarbeitung > Mathematische Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references and index
Beschreibung:	XVII, 277 S graph. Darst 24 cm
ISBN:	0444506209 0-444-50620-9