Tourlakis, George J.
Tourlakis, George J., 1946-....
Tourlakis, George, 1946-
George J. Tourlakis řecký profesor působící v Kanadě, publikuje v oboru výpočetní metodologie a matematické logiky
Tourlakis, George J. 1949-
VIAF ID: 74087808 ( Personal )
Permalink: http://viaf.org/viaf/74087808
Preferred Forms
- 100 0 _ ‡a George J. Tourlakis ‡c řecký profesor působící v Kanadě, publikuje v oboru výpočetní metodologie a matematické logiky
- 200 _ | ‡a Tourlakis ‡b George J. ‡f 1946-....
-
-
-
- 100 1 _ ‡a Tourlakis, George J.
- 100 1 0 ‡a Tourlakis, George J.
-
-
-
- 100 1 _ ‡a Tourlakis, George J. ‡d 1946-
- 100 1 _ ‡a Tourlakis, George J. ‡d 1949-
-
- 100 1 _ ‡a Tourlakis, George J., ‡d 1946-....
-
-
- 100 1 _ ‡a Tourlakis, George, ‡d 1946-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Computability | |
Lectures in logic and set theory | |
Mathematical logic | |
A new arithmetically incomplete first-order extension of GL all theorems of which have cut free proofs | |
A new foundation of a complete Boolean equational logic | |
On the proof-theory of two formalisations of modal first-order logic | |
Some results in computational topology. | |
Theory of computation |