1
Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models

Lectures on Mathematical Logic Volume I Set Theoretical Logic - The Algebra of Models

Anno:
2000
Lingua:
english
File:
PDF, 3.15 MB
0 / 0
english, 2000
2
Lectures on Mathematical Logic Volume II Calculi for Derivations and Deductions

Lectures on Mathematical Logic Volume II Calculi for Derivations and Deductions

Anno:
2000
Lingua:
english
File:
PDF, 3.10 MB
0 / 0
english, 2000
3
Lectures on Mathematical Logic Volume III The Logic of Arithmetic

Lectures on Mathematical Logic Volume III The Logic of Arithmetic

Anno:
2000
Lingua:
english
File:
PDF, 2.81 MB
0 / 0
english, 2000
4
Berechenbarkeit: Rekursive und Programmierbare Funktionen

Berechenbarkeit: Rekursive und Programmierbare Funktionen

Anno:
1993
Lingua:
german
File:
PDF, 14.77 MB
0 / 0
german, 1993
5
Adjungierte Funktoren und primitive Klassen

Adjungierte Funktoren und primitive Klassen

Anno:
1965
Lingua:
german
File:
PDF, 2.23 MB
0 / 0
german, 1965