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

Ano:
2000
Idioma:
english
Arquivo:
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

Ano:
2000
Idioma:
english
Arquivo:
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

Ano:
2000
Idioma:
english
Arquivo:
PDF, 2.81 MB
0 / 0
english, 2000
4
Berechenbarkeit: Rekursive und Programmierbare Funktionen

Berechenbarkeit: Rekursive und Programmierbare Funktionen

Ano:
1993
Idioma:
german
Arquivo:
PDF, 14.77 MB
0 / 0
german, 1993
5
Adjungierte Funktoren und primitive Klassen

Adjungierte Funktoren und primitive Klassen

Ano:
1965
Idioma:
german
Arquivo:
PDF, 2.23 MB
0 / 0
german, 1965