Annals of pure and applied logic.
| Previous Title: | Annals of mathematical logic |
|---|---|
| Format: | Journal |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
[1983-]
|
| Subjects: | |
| Online Availability: |
|
Similar Items
Annals of pure and applied logic.
Annals of mathematical logic.
Annals of mathematical logic.
Mathematical logic quarterly : MLQ.
Mathematical logic quarterly : MLQ.
Published: (1993)
Published: (1993)
Introduction to mathematical logic /
by: Church, Alonzo, 1903-1995
Published: (1965)
by: Church, Alonzo, 1903-1995
Published: (1965)
Introduction to mathematical logic /
by: Church, Alonzo, 1903-1995
Published: (1944)
by: Church, Alonzo, 1903-1995
Published: (1944)
The Calculi of symbolic logic, 1 /
Published: (1971)
Published: (1971)
Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov.
Published: (2003)
Published: (2003)
Logical and logico-mathematical calculi. 2 /
Published: (1974)
Published: (1974)
Ring-logics and p-rings.
by: Foster, Alfred Leon, 1904-
Published: (1951)
by: Foster, Alfred Leon, 1904-
Published: (1951)
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik.
Published: (1955)
Published: (1955)
How to approximate the naive comprehension scheme inside of classical logic /
by: Weydert, Emil
Published: (1989)
by: Weydert, Emil
Published: (1989)
Applied logic /
by: Hansen, Kaj Børge
Published: (1996)
by: Hansen, Kaj Børge
Published: (1996)
Algebra, mathematical logic, number theory, topology : collection of survey papers : on the 50th anniversary of the institute /
Published: (1986)
Published: (1986)
Applied logic /
by: Sinisi, Vito F.
Published: (2000)
by: Sinisi, Vito F.
Published: (2000)
A theory of formal deducibility.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1950)
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1950)
Continuous model theory.
by: Zhang, Zhenzhong
Published: (1966)
by: Zhang, Zhenzhong
Published: (1966)
Pure logic and other minor works /
by: Jevons, William Stanley, 1835-1882
Published: (1890)
by: Jevons, William Stanley, 1835-1882
Published: (1890)
Pure logic, and other minor works /
by: Jevons, William Stanley, 1835-1882
Published: (1971)
by: Jevons, William Stanley, 1835-1882
Published: (1971)
Applied logic series.
Published: (1996)
Published: (1996)
On uniquely solvable Boolean equations /
by: Parker, William Lawrence, 1921-
Published: (1955)
by: Parker, William Lawrence, 1921-
Published: (1955)
Primitiv-rekursive Funktionen in Peano-Algebren.
by: Hirschelmann, Arnulf
Published: (1969)
by: Hirschelmann, Arnulf
Published: (1969)
Einige Ergibnisse uber stark kompakte und verwandte grosse Kardinalzahlen.
by: Koppelberg, Bernd J.
Published: (1972)
by: Koppelberg, Bernd J.
Published: (1972)
From the logical point of view.
Published: (1992)
Published: (1992)
Applied symbolic logic /
by: Lynch, Edward P., 1919-
Published: (1980)
by: Lynch, Edward P., 1919-
Published: (1980)
Notre Dame journal of formal logic /
Archive for mathematical logic.
The journal of symbolic logic.
Published: (1936)
Published: (1936)
The review of modern logic.
Published: (2003)
Published: (2003)
The Journal of symbolic logic.
Archive for mathematical logic.
Published: (1988)
Published: (1988)
Logic journal of the IGPL /
Published: (1997)
Published: (1997)
The review of symbolic logic.
Published: (2008)
Published: (2008)
The bulletin of symbolic logic.
Published: (1995)
Published: (1995)
The bulletin of symbolic logic.
Published: (1995)
Published: (1995)
Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)
Published: (2006)
Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)
Published: (2004)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
Logical forms : an introduction to philosophical logic /
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)