-
A basic formal equational predicate logic : part II Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 3 / s. 75 - 872000CZYSTY TEKST
George Tourlakis, A basic formal equational predicate logic : part II, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 3, s. 75 - 87
BIBTEX@Article{ authors = " George Tourlakis", title = "A basic formal equational predicate logic : part II", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 3", pages = "75 - 87" }
-
A Modal Extension of First Order Classical Logic, Part II Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 1 - 102004CZYSTY TEKST
George Tourlakis, Francisco Kibedi, A Modal Extension of First Order Classical Logic, Part II, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 1 - 10
BIBTEX@Article{ authors = " George Tourlakis, Francisco Kibedi", title = "A Modal Extension of First Order Classical Logic, Part II", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "1 - 10" }
-
A Modal Extension of First Order Classical Logic, Part I Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 165 - 1772003CZYSTY TEKST
George Tourlakis, Francisco Kibedi, A Modal Extension of First Order Classical Logic, Part I, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 165 - 177
BIBTEX@Article{ authors = " George Tourlakis, Francisco Kibedi", title = "A Modal Extension of First Order Classical Logic, Part I", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "165 - 177" }
-
A basic formal equational predicate logic - Part I Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2 / s. 43 - 562000CZYSTY TEKST
George Tourlakis, A basic formal equational predicate logic - Part I, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 43 - 56
BIBTEX@Article{ authors = " George Tourlakis", title = "A basic formal equational predicate logic - Part I", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "43 - 56" }
-
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 131 - 1482015CZYSTY TEKST
Feng Gao, George Tourlakis, A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 131 - 148
BIBTEX@Article{ authors = " Feng Gao, George Tourlakis", title = "A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "131 - 148" }
-
A Proof Theoretic Tool for First-Order Modal Logic Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4 / s. 93 - 1102013CZYSTY TEKST
George Tourlakis, A Proof Theoretic Tool for First-Order Modal Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 93 - 110
BIBTEX@Article{ authors = " George Tourlakis", title = "A Proof Theoretic Tool for First-Order Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "93 - 110" }
-
A New Foundation of a Complete Boolean Equational Logic Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 13 - 292009CZYSTY TEKST
George Tourlakis, A New Foundation of a Complete Boolean Equational Logic, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 13 - 29
BIBTEX@Article{ authors = " George Tourlakis", title = "A New Foundation of a Complete Boolean Equational Logic", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "13 - 29" }
-
Pure Iteration and Substitution as the Basis of Computability Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 3-4 / s. 203 - 2132011CZYSTY TEKST
George Tourlakis, Pure Iteration and Substitution as the Basis of Computability, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 3-4, s. 203 - 213
BIBTEX@Article{ authors = " George Tourlakis", title = "Pure Iteration and Substitution as the Basis of Computability", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 3-4", pages = "203 - 213" }
