Výsledky hledání pro autora

1

Obálka

What is mathematical logic? /

Autor Crossley, John N., 1937-
Vydáno 1990

Kniha

2

Obálka

Adapting proof-as-programs : the Curry-Howard protocol /

Autor Poernomo, Iman Hafiz, 1976-, Crossley, John N., 1937-, Wirsing, Martin, 1948-
Vydáno 2005

Kniha

3

Obálka

Communities of learning : networks and the shaping of intellectual identity in Europe, 1100-1500 /

Vydáno 2011

Další autoři: '; “...Crossley, John N....”

Kniha

4

Obálka

Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 /

Vydáno 1965

Další autoři: '; “...Crossley, John N., 1937-...”

Kniha