Archiv für mathematische Logik und Grundlagenforschung

Issledovanija po konstruktivnoj matematike i matematičeskoj logike.
Vydáno: (1995)

The bulletin of symbolic logic
Vydáno: (1995)

Journal of applied logic
Vydáno: (2003)

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie
Autor: Heyting, A.
Vydáno: (1934)

Mathematized humanities via humanized mathematics
Autor: Polák, Václav, 1932-1994
Vydáno: (1992)

The foundations of mathematics
Autor: Stewart, Ian, 1945-
Vydáno: (2015)

Computational aspects of an order-sorted logic with term declarations
Autor: Schmidt-Schauss, M.
Vydáno: (1989)

A concise introduction to mathematical logic
Autor: Rautenberg, Wolfgang
Vydáno: (2010)

Modal logic with descriptions
Autor: Ruzsa, Imre, 1921-2008
Vydáno: (1981)

Logika
Autor: Bek, Roman, 1924-
Vydáno: (1996)

Bounded arithmetic, propositional logic, and complexity theory
Autor: Krajíček, Jan, 1960-
Vydáno: (1995)

Mechanical logic in three-dimensional space
Autor: Auletta, Gennaro, 1957-
Vydáno: (2014)

A friendly introduction to mathematical logic
Autor: Leary, Christopher C., 1957-
Vydáno: (2015)

Reports on mathematical logic.
Vydáno: (1999)

Reports on mathematical logic.
Vydáno: (2000)

Logic of mathematics : a modern course of classical logic
Autor: Adamowicz, Zofia
Vydáno: (1997)

Matematická logika
Autor: Mareš, Jan, 1944-
Vydáno: (2009)

Mathematical principles of fuzzy logic
Autor: Novák, Vilém, 1951-
Vydáno: (1999)

Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday
Vydáno: (2007)

Grundzüge der theoretischen Logik
Autor: Hilbert, David, 1862-1943
Vydáno: (1928)

A transition to abstract mathematics : mathematical thinking and writing
Autor: Maddox, Randall B.
Vydáno: (2009)

Mathematical logic : a course with exercises.
Autor: Cori, René
Vydáno: (2000)

Kurz logiky v postgraduálním pedagogickém studiu pro učitele odborných předmětů na SOŠ
Autor: Bek, Roman, 1924-
Vydáno: (1979)

Logika : neúplnost, složitost a nutnost
Autor: Švejdar, Vítězslav, 1954-
Vydáno: (2002)

The meaning of proofs : mathematics as storytelling
Autor: Lolli, Gabriele, 1942-
Vydáno: (2022)

The computational complexity of logical theories
Autor: Ferrante, Jeanne
Vydáno: (1979)

Logic versus approximation : essays dedicated to Michael M. Richter on the occason of his 65th birthday
Vydáno: (2003)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Vydáno: (1989)

Matematická logika
Autor: Štěpánek, Petr, 1943-2012
Vydáno: (1982)

Matematika 35 : matematická logika
Autor: Jirásko, Josef, 1951-2021
Vydáno: (1997)

Logické základy umělé inteligence.
Autor: Lukasová, Alena, 1936-
Vydáno: (1995)

Logické základy umělé inteligence.
Autor: Lukasová, Alena, 1936-
Vydáno: (1999)

Matematická logika
Autor: Bek, Roman, 1924-
Vydáno: (1981)

Úvod do logiky
Autor: Svatek, Jan
Vydáno: (1991)

A beginner's guide to mathematical logic
Autor: Smullyan, Raymond M., 1919-2017
Vydáno: (2014)

Logika pro kurs automatizovaných systémů
Autor: Bek, Roman, 1924-
Vydáno: (1980)