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

Automated reasoning in higher-order logic : set comprehension and extensionality in Church's type theory /

Autor Brown, Chad E.
Vydáno 2007

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

Kniha

2

Obálka

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

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

Kniha