An introduction to mathematical logic and type theory : to truth through proof /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Andrews, P. B. (Peter Bruce), 1937-
Format: Buch
Sprache:Englisch
Veröffentlicht: Orlando : Academic Press, 1986.
Schriftenreihe:Computer science and applied mathematics
Schlagworte:
Logic, Symbolic and mathematical.
Type theory.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Schreiben Sie den ersten Kommentar!
Bitte loggen Sie sich zuerst ein

Ähnliche Einträge