Provability in logic

Szerző: Kanger, Stig
Megjelenés: 1957

Formális logika és matematikai logika

Szerző: Szalai Sándor (1912-1983)
Megjelenés: 1957

Applied logic

Szerző: Hansen, Kaj Børge
Megjelenés: 1996

Symbolic logic : an introductory textbook for non-mathematicians

Szerző: Lee, Harold Newton
Megjelenés: 1962

Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie

Szerző: Wiegand, Olav K.
Megjelenés: 1998

Computability and logic

Szerző: Boolos, George S.
Megjelenés: 1989

Computability and logic

Szerző: Cohen, Daniel E.
Megjelenés: 1987

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings

Megjelenés: 1987

Formal philosophy

Szerző: Montague, Richard (1930-1971)
Megjelenés: 1974

Bevezetés a modern logikába

Szerző: Ruzsa Imre (1921-2008)
Megjelenés: 2000

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Megjelenés: 1996

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

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

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

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

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : Proceedings

Megjelenés: 1984

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings

Megjelenés: 1994

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings

Megjelenés: 1998

The logical basis for computer programming

Szerző: Manna, Zohar
Megjelenés: 1985
Kapcsolódó cím: Deductive reasoning

Conceptual notation and related articles

Szerző: Frege, Friedrich Ludwig Gottlob (1848-1925)
Megjelenés: 2002

Temporal logic of programs

Szerző: Kröger, Fred (1945-)
Megjelenés: 1987

Bevezetés a modern logikába

Szerző: Ruzsa Imre (1921-2008)
Megjelenés: 1997