Co je logika? : studie k chápání logiky v Principia Mathematica Betranda Russella a Alfreda N. Whiteheada /

Autor Holeček, Tomáš, 1972-
Vydáno 2014

Diamond : a paradox logic /

Autor Hellerstein, N. S.
Vydáno 2010

Belief revision /

Vydáno 1992

Introduction to mathematical logic /

Autor Mendelson, Elliott, 1931-
Vydáno 1997

Introduction to bisimulation and coinduction /

Autor Sangiorgi, Davide, 1964-
Vydáno 2011

First-order logic /

Autor Smullyan, Raymond M., 1919-2017
Vydáno 1995

Logika : neúplnost, složitost a nutnost /

Autor Švejdar, Vítězslav, 1954-
Vydáno 2002

Modal logic /

Autor Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-
Vydáno 2001

New introduction to modal logic /

Autor Hughes, G. E., Cresswell, M. J., 1939-
Vydáno 1996

First-order modal logic /

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

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Vydáno 2008

Handbook of modal logic /

Vydáno 2007

Logical approaches to computational barriers : third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, proceedings /

Vydáno 2007

Problémy jazyka vědy : (výbor prací Rudolfa Carnapa) /

Autor Carnap, Rudolf, 1891-1970
Vydáno 1968

First steps in modal logic /

Autor Popkorn, Sally
Vydáno 1994

Jak to vyřešit? : logické úlohy a hry /

Autor Pelánek, Radek, 1980-
Vydáno 2011

Belief attitudes, fine-grained hyperintensionality and type-theoretic logic /

Autor Raclavský, Jiří, 1974-
Vydáno 2020

Malá logika : věda o myšlenkovém řádu /

Autor Engliš, Karel, 1880-1961
Vydáno 1947

Formální logika a sémantický web /

Autor Lukasová, Alena, 1936-, Žáček, Martin, 1968-, Vajgl, Marek, Telnarová, Zdeňka, 1955-
Vydáno 2015

Computability, enumerability, unsolvability : directions in recursion theory /

Vydáno 1996