Models and games /

Autor Väänänen, Jouko, 1950-
Vydáno 2011

Východisla z 3. krize matematiky intuicionismus /

Autor Brabcová, Kateřina
Vydáno 1996

Handbook of mathematical fuzzy logic. Volume 1 /

Vydáno 2011

Handbook of mathematical fuzzy logic. Volume 2 /

Vydáno 2011

Úvod do výrokové algebry pokusný učební text pro čtyřleté učební obory s maturitou :

Autor Dušková-Štefková, Jana
Vydáno 1978

Pojęcie prawdy w językach nauk dedukcyjnych

Autor Tarski, Alfred, 1902-1983
Vydáno 1933

Einführung in die Grundlagen der Mathematik : Theorie der Berechenbarkeit mathematische Logik Mengenlehre /

Autor Deutsch, Michael, 1944-
Vydáno 1999

Elementy logiki matematycznej i teorii mnogości /

Autor Słupecki, Jerzy, 1904-1987, Borkowski, Ludwik, 1914-1993
Vydáno 1963

A modern perspective on type theory : from its origins until today /

Autor Kamareddine, Fairouz D., Laan, Twan, Nederpelt, Rob
Vydáno 2010

Set theory and foundations of mathematics : an introduction to mathematical logic. Volume 1, Set theory /

Autor Cenzer, Douglas, Larson, Jean, Porter, Christopher, Zapletal, Jindřich, 1969-
Vydáno 2020

Introduction to mathematical logic /

Autor Mendelson, Elliott, 1931-
Vydáno 2015

The logic book /

Autor Bergmann, Merrie, Moor, James, 1942-, Nelson, Jack, 1944-
Vydáno 2014

Matematické křížovky pro celou rodinu /

Autor Novotná, Jarmila, 1946-
Vydáno 1996

Logika pro humanistiku /

Autor Svatek, Jan, Dostálová, Ludmila, 1975-
Vydáno 2003

The foundations of Frege's logic /

Autor Tichý, Pavel, 1936-1994
Vydáno 1988

Neue Grundlagen der Logik, Arithmetik und Mengenlehre /

Autor König, Julius
Vydáno 1914

Finite model theory and its applications /

Autor Grädel, Erich, 1958-
Vydáno 2007

Introduction to higher order categorical logic /

Autor Lambek, Joachim, 1922-2014, Scott, P. J.
Vydáno 1989

Logic algebra /

Vydáno 1996

Intensional and higher-order modal logic : with applications to Montague semantics /

Autor Gallin, Daniel
Vydáno 1975