Matematika pro kombinované studium učitelství 1. stupně základní školy /

Autor Bělík, Miroslav
Vydáno 2002

Fundamentals of mathematical logic /

Autor Hinman, Peter G.
Vydáno 2005

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

Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. Čast' II, Teorija množestv /

Vydáno 1982

Úvod do matematické analýzy. I /

Autor Apfelbeck, Alois, 1925-1992
Vydáno 1982

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

Multiple forcing /

Autor Jech, Tomáš, 1944-
Vydáno 1986

Issledovanija po neklassičeskim logikam i teorii množestv /

Vydáno 1979

Issledovanija po teorii množestv i neklassičeskim logikam /

Vydáno 1976

Problematika přechodu ze střední na vysokou školu z hlediska výuky algebry

Autor Chudárek, Jan
Vydáno 1982

Sets, logic and categories /

Autor Cameron, Peter J. 1947-
Vydáno 1999

Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /

Autor Lavrov, Igor' Andrejevič, Maksimova, Larisa L'vovna
Vydáno 1984

Logika a teorie množin : (úvod do oboru) /

Autor Fuchs, Eduard, 1942-
Vydáno 1978

Mass terms and model-theoretic semantics /

Autor Bunt, H. C., 1944-
Vydáno 1985

An introduction to mathematical proofs /

Autor Loehr, Nicholas A.
Vydáno 2020

The structure of proof : with logic and set theory /

Autor O'Leary, Michael L.
Vydáno 2002

Pevné body programů

Autor Šeda, Miloš, 1952-
Vydáno 1985

Handbook of the history of logic. Volume 6, Sets and extensions in the twentieth century /

Vydáno 2012

Architecture of mathematics /

Autor Serovajsky, Simon, 1954-
Vydáno 2021