Výsledky hledání pro autora

1

Obálka

First-order logic and automated theorem proving /

Autor Fitting, Melvin, 1942-
Vydáno 1990

Kniha

2

Obálka

First order logic and automated theorem proving /

Autor Fitting, Melvin, 1942-
Vydáno 1996

Kniha

3

Obálka

Justification logic : reasoning with reasons /

Autor Artemov, S. N., Fitting, Melvin, 1942-
Vydáno 2019

Kniha

4

Obálka

First-order modal logic /

Autor Fitting, Melvin, 1942-, Mendelsohn, Richard L., 1944-
Vydáno 1998

Kniha

5

Obálka

Set theory and the continuum problem /

Autor Smullyan, Raymond M., 1919-2017, Fitting, Melvin, 1942-
Vydáno 2010

Kniha