Výsledky vyhledávání - "mathematical logic"

Preferované termíny:

Logic Colloquium 1965 : Leicester, Anglie)

Alternativní vyhledávání:
"mathematical logic" » "mathematics logic"

1

Obálka

Lambda Calculus with Types /

Autor Barendregt, Henk 1947-, Statman, Richard, 1946-, Dekkers, Wil
Vydáno 2013

Témata: '; “...mathematical logic...”

Kniha

2

Obálka

The lambda calculus : its syntax and semantics /

Autor Barendregt, Henk 1947-
Vydáno 1998

Témata: '; “...mathematical logic...”

Kniha

3

Obálka

The lambda calculus, its syntax and semantics /

Autor Barendregt, Henk 1947-
Vydáno 2012

Témata: '; “...mathematical logic...”

Kniha