Logic and structure

Szerző: Dalen, Dirk van (1932-)
Megjelenés: 1980

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings

Megjelenés: 1985

Computability and logic

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

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

Megjelenés: 1987

Tense and tense logic

Szerző: Clifford, John Edward (1936-)
Megjelenés: 1975

Règles pour la direction de l'esprit

Szerző: Descartes, René (1596-1650)
Megjelenés: 1988

Great Circle of Mysteries : Mathematics, the World, the Mind

Szerző: Gromov, Misha., szerző
Megjelenés: 2018

The logical basis for computer programming

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

Temporal logic of programs

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

Logics for artificial intelligence

Szerző: Turner, Raymond
Megjelenés: 1985

The logic of information structures

Szerző: Wansing, Heinrich
Megjelenés: 1993

Mathematical logic and programming languages

Megjelenés: 1985

The cosmical knowledge and the human computer : Excerpts and supplements

Szerző: Costescu, Ion
Megjelenés: 1996

Word and object

Szerző: Quine, Willard van Orman (1908-2000)
Megjelenés: 1964

Recursive function theory and logic

Szerző: Yasuhara, Ann
Megjelenés: 1971

An introduction to mathematical logic and type theory : to truth through proof

Szerző: Andrews, Peter Bruce (1937-)
Megjelenés: 1986

Jan Łukasiewicz : Selected works

Megjelenés: 1970

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Megjelenés: 1992

Fuzzy Lie Algebras

Szerző: Akram, Muhammad., szerző
Megjelenés: 2018

The Hyperuniverse Project and Maximality

Megjelenés: 2018