Elementy matematiceskoj logiki

Complexity of proofs and their transformations in axiomatic theories
von: Orevkov, V. P.
Veröffentlicht: (1993)

An algebraic introduction to mathematical logic
von: Barnes, Donald W.
Veröffentlicht: (1975)

Relative Complexities of First Order Calculi
von: Eder, Elmar
Veröffentlicht: (1992)

Theorembeweisen mit assoziativen Prozessoren
von: Dilger, Werner
Veröffentlicht: (1985)

Theorembeweisen mit assoziativen Prozessoren
von: Dilger, Werner
Veröffentlicht: (1983)

Separating fragments of bounded arithmetic
von: Beckmann, Arnold
Veröffentlicht: (1996)

Einführung in die mathematische Logik klassische Prädikatenlogik
von: Hermes, Hans 1912-2003
Veröffentlicht: (1991)

Einführung in die mathematische Logik klassische Prädikantenlogik
von: Hermes, Hans 1912-2003
Veröffentlicht: (1991)

Einführung in die mathematische Logik klassische Prädikatenlogik
von: Hermes, Hans 1912-2003
Veröffentlicht: (1972)

Dialogische Begründung des effektiven quantenlogischen Quantorenkalküls
von: Denecke, Heinz-Martin 1946-
Veröffentlicht: (1976)

Arithmetic, proof theory, and computational complexity
Veröffentlicht: (2000)

Reflection principles and provability algebras in formal arithmetic
von: Beklemishev, Lev D. 1967-
Veröffentlicht: (2005)

The blind spot lectures on logic
von: Girard, Jean-Yves 1947-
Veröffentlicht: (2011)

The lambda calculus its syntax and semantics
von: Barendregt, Hendrik P. 1947-
Veröffentlicht: (1981)

Contexts in dynamic predicate logic
von: Visser, Albert
Veröffentlicht: (1995)

Klassische Prädikatenlogik

Einführung in die mathematische Logik klassische Prädikatenlogik
von: Hermes, Hans 1912-2003
Veröffentlicht: (1969)

Grundlagen eines Operatorenkalküls für Naturwissenschaft und Technik e. Einf. in d. Begr. e. Operatorenkalküls d. Naturwiss. mit umfangreichen Formel- u. Tabellensammlungen
von: De Breg, Merlin
Veröffentlicht: (1990)

Handbook of proof theory
Veröffentlicht: (1998)

L' ordre axiomatique comme modèle d'écriture philosophique dans l'Antiquité et au Moyen Âge
von: Solère, Jean-Luc
Veröffentlicht: (2003)

Lectures on the Curry-Howard isomorphism
von: Sørensen, Morten Heine
Veröffentlicht: (2006)

Lectures on the Curry-Howard isomorphism
von: Srensen, Morten Heine
Veröffentlicht: (2006)

Lectures on the Curry-Howard isomorphism
Veröffentlicht: (2006)

Joseph Spenglers ... erste Gründe der Arithmetik und Algebra
von: Spengler, Joseph 1736-1776
Veröffentlicht: (1809)

Sammlung von Beispielen und Aufgaben aus der allgemeinen Arithmetik und Algebra in systematischer Folge bearbeitet für Gymnasien, Realschulen, höhere Bürgerschulen und Gewerbschulen
von: Heis, Eduard 1806-1877
Veröffentlicht: (1886)

Sammlung von Beispielen und Aufgaben aus der allgemeinen Arithmetik und Algebra in systematischer Folge bearbeitet für Gymnasien, Realschulen, höhere Bürgerschulen und Gewerbschulen
von: Heis, Eduard 1806-1877
Veröffentlicht: (1891)

Arithmetik und Algebra

The way of Diophantus some clarifications on Diophantus' method of solution
von: Christianidis, Jean
Veröffentlicht: (2007)

Die wichtigsten Begriffe und Sätze der Arithmetik und Algebra zusammengestellt von J. Mayenberg
von: Mayenberg, Joseph 1835-1908
Veröffentlicht: (1885)

Gleichungen der Geraden
von: Demmig, Richard 1880-
Veröffentlicht: (1967)

Algebras and their arithmetics
von: Dickson, Leonard E. 1874-1954
Veröffentlicht: (1923)

Sammlung von Beispielen und Aufgaben aus d. allgemeinen Arithmetik und Algebra
von: Heis, Eduard 1806-1877
Veröffentlicht: (1868)

Elemente der Arithmetik und Algebra
von: Scheid, Harald 1939-
Veröffentlicht: (1996)

Sammlung von Beispielen und Aufgaben aus der allgemeinen Arithmetik und Algebra in systematischer Folge bearbeitet für Gymnasien, Realschulen, höhere Bürgerschulen und Gewerbschulen
von: Heis, Eduard 1806-1877
Veröffentlicht: (1889)

Arithmetik und Algebra Aufgaben
von: Locher-Ernst, Louis
Veröffentlicht: (1990)

Arithmetik und Algebra Aufgaben
von: Locher-Ernst, Louis
Veröffentlicht: (1962)