Archiv für mathematische Logik und Grundlagenforschung

Saved in:

Bibliographic Details
New Title:	Archive for mathematical logic
Format:	Journal
Language:	German English
Published:	Stuttgart : Kohlhammer Verlag, 1950
Genre/form:	časopisy
ISSN:	0003-9268
Subjects:	matematika matematická logika
Tags:	Add Tag No Tags, Be the first to tag this record!

Cover Image

Similar Items

Archive for mathematical logic
Published: (1988)

Nichtklassische Logik
by: Kreiser, Lothar, 1934-
Published: (1988)

Fuzzy-Logik : Einführung in die algebraischen und logischen Grundlagen
by: Böhme, Gert
Published: (1993)

Zeitschrift für mathematische Logik und Grundlagen der Mathematik
Published: (1992)

Issledovanija po konstruktivnoj matematike i matematičeskoj logike.
Published: (1995)

The bulletin of symbolic logic
Published: (1995)

Journal of applied logic
Published: (2003)

Mathematische Grundlagenforschung : Intuitionismus, Beweistheorie
by: Heyting, A.
Published: (1934)

Mathematized humanities via humanized mathematics
by: Polák, Václav, 1932-1994
Published: (1992)

The foundations of mathematics
by: Stewart, Ian, 1945-
Published: (2015)

Computational aspects of an order-sorted logic with term declarations
by: Schmidt-Schauss, M.
Published: (1989)

A concise introduction to mathematical logic
by: Rautenberg, Wolfgang
Published: (2010)

Modal logic with descriptions
by: Ruzsa, Imre, 1921-2008
Published: (1981)

Logika
by: Bek, Roman, 1924-
Published: (1996)

Bounded arithmetic, propositional logic, and complexity theory
by: Krajíček, Jan, 1960-
Published: (1995)

Mechanical logic in three-dimensional space
by: Auletta, Gennaro, 1957-
Published: (2014)

A friendly introduction to mathematical logic
by: Leary, Christopher C., 1957-
Published: (2015)

Reports on mathematical logic.
Published: (1999)

Reports on mathematical logic.
Published: (2000)

Logic of mathematics : a modern course of classical logic
by: Adamowicz, Zofia
Published: (1997)

Matematická logika
by: Mareš, Jan, 1944-
Published: (2009)

Mathematical principles of fuzzy logic
by: Novák, Vilém, 1951-
Published: (1999)

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

Grundzüge der theoretischen Logik
by: Hilbert, David, 1862-1943
Published: (1928)

A transition to abstract mathematics : mathematical thinking and writing
by: Maddox, Randall B.
Published: (2009)

Mathematical logic : a course with exercises.
by: Cori, René
Published: (2000)

Logika : neúplnost, složitost a nutnost
by: Švejdar, Vítězslav, 1954-
Published: (2002)

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

The meaning of proofs : mathematics as storytelling
by: Lolli, Gabriele, 1942-
Published: (2022)

The computational complexity of logical theories
by: Ferrante, Jeanne
Published: (1979)

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

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

Matematická logika
by: Štěpánek, Petr, 1943-2012
Published: (1982)

Matematika 35 : matematická logika
by: Jirásko, Josef, 1951-2021
Published: (1997)

Logické základy umělé inteligence.
by: Lukasová, Alena, 1936-
Published: (1995)

Matematická logika
by: Bek, Roman, 1924-
Published: (1981)

Logické základy umělé inteligence.
by: Lukasová, Alena, 1936-
Published: (1999)

Úvod do logiky
by: Svatek, Jan
Published: (1991)

A beginner's guide to mathematical logic
by: Smullyan, Raymond M., 1919-2017
Published: (2014)

Logika pro kurs automatizovaných systémů
by: Bek, Roman, 1924-
Published: (1980)