Bounded variable logics and counting : A study in finite models

Szerző: Otto, Martin
Megjelenés: 1997

Einführung in die mathematische Logik : Klassische Prädikatenlogik

Szerző: Hermes, Hans (1912-?)
Megjelenés: 1972

Aspects of incompleteness

Szerző: Lindström, Per (1936-)
Megjelenés: 1997

Classification theory : Proceedings of the U.S.-Israel Workshop on model theory in mathematicallogic held in Chicago, Dec. 15-19, 1985

Megjelenés: 1987

Provability in logic

Szerző: Kanger, Stig
Megjelenés: 1957

Hilbert's program : an essay on mathematical instrumentalism

Szerző: Detlefsen, Michael (1948-)
Megjelenés: 1986

Matematikai logika : Példatár

Szerző: Urbán János
Megjelenés: 2001

Handbook of Boolean algebras

Megjelenés: 1989
Kapcsolódó cím: 1. volume

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

Szerző: Frege, Friedrich Ludwig Gottlob (1848-1925)
Megjelenés: 1969
Kapcsolódó cím: Nachgelassene Schriften

Mathematical logic and programming languages

Megjelenés: 1985

Frege and Gödel; two fundamental texts in mathematical logic

Szerző: Van Heijenoort, Jean (1912-)
Megjelenés: 1980

Matematikai logika kezdőknek

Szerző: Varga Tamás (1919-1987)
Megjelenés: 1960
Kapcsolódó cím: 1. [köt.]

Matematikai logika kezdőknek

Szerző: Varga Tamás (1919-1987)
Megjelenés: 1966
Kapcsolódó cím: 1.

Izbrannye trudy

Szerző: Mal'cev, Anatolij Ivanovič (1909-1967)
Megjelenés: 1976
Kapcsolódó cím: Klassičeskaâ algebra

Matematikai logika kezdőknek

Szerző: Varga Tamás (1919-1987)
Megjelenés: 1966
Kapcsolódó cím: 2.

A survey of mathematical logic

Szerző: Wang, Hao
Megjelenés: 1963

Matematikai logika kezdőknek

Szerző: Varga Tamás (1919-1987)
Megjelenés: 1962
Kapcsolódó cím: 1.

Logique moderne

Szerző: Grize, Jean-Blaise
Megjelenés: 1969
Kapcsolódó cím: Logique des propositions et des prédicats déduction naturelle

Model theory of fields

Szerző: Marker, David (1958-)
Megjelenés: 1996

Teoretičeskie primeneniâ metodov matematičeskoj logiki : Sbornik rabot

Megjelenés: 1981
Kapcsolódó cím: 3.