1
Megjelenés: 1981
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
2
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
3
4
Szerző: Luckhardt, Horst
Megjelenés: 1973
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1973
könyv
5
Szerző: Troelstra, Anne Sjerp
Megjelenés: 1977
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1977
könyv
6
Szerző: Takeuti, Gaisi (1926-)
Megjelenés: 1978
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1978
könyv
7
Megjelenés: 1973
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
8
Szerző: Scarpellini, Bruno
Megjelenés: 1971
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1971
könyv
9
Szerző: Pohlers, Wolfram
Megjelenés: 1989
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1989
könyv
10
Megjelenés: 2004
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
11
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
12
Szerző: Wallen, Lincoln A.
Megjelenés: 1990
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1990
könyv
13
Megjelenés: 1970
Tárgyszavak:
“...bizonyitáselmélet -- matematika -- konferencia...”
könyv
14
Szerző: Lindström, Per (1936-)
Megjelenés: 1997
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1997
könyv
15
Megjelenés: 1984
Kapcsolódó cím: Computation and proof theory
Tárgyszavak:
“...bizonyitáselmélet -- matematika -- konferencia...”Kapcsolódó cím: Computation and proof theory
könyv
16
Szerző: Toledo, Sue Ann (1940-)
Megjelenés: 1975
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1975
könyv
17
Szerző: Broughan, Kevin A. (1943-)
Megjelenés: 1975
Tárgyszavak:
“...bizonyításelmélet -- matematika...”Megjelenés: 1975
könyv
18
19
Megjelenés: 1975
Tárgyszavak:
“...bizonyításelmélet -- matematika...”
könyv
20
Megjelenés: 1975
Tárgyszavak:
“...bizonyitáselmélet -- matematika -- konferencia...”
könyv