Three views of logic mathematics, philosophy, and computer science

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Loveland, Donald W. (VerfasserIn)
Weitere Verfasser:	Hodel, Richard E. (VerfasserIn), Sterrett, S. G. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Princeton, NJ u.a. Princeton Univ. Press 2014
Schlagworte:	Proof theory > Computable functions > Nonclassical mathematical logic > Beweistheorie > Berechenbarkeit > Nichtklassische Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!