Varieties of constructive mathematics

Bibliographische Detailangaben

1. Verfasser:	Bridges, D. S., (Douglas S.) (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge [Cambridgeshire] Cambridge University Press 1987
Schriftenreihe:	London Mathematical Society lecture note series 97
Schlagworte:	Mathématiques constructives Sistemas lógicos não clássicos Matemática construtiva Konstruktive Mathematik Mathematische Logik Logique symbolique et mathématique MATHEMATICS / Infinity MATHEMATICS / Logic Constructive mathematics
Online-Zugang:	DE-1046 DE-1047 Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!