BazHum - wyniki wyszukiwania

Sign in
Register

Advanced search
List of journals

Wyniki

Checked:

A basic formal equational predicate logic - Part I

George Tourlakis
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 43-56
A basic formal equational predicate logic : part II

George Tourlakis
Bulletin of the Section of Logic , 29 /3 (2000) s. 75-87
A New Foundation of a Complete Boolean Equational Logic

George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29
A Modal Extension of First Order Classical Logic, Part I

George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 32 /4 (2003) s. 165-177
A Modal Extension of First Order Classical Logic, Part II

George Tourlakis, Francisco Kibedi
Bulletin of the Section of Logic , 33 /1 (2004) s. 1-10
Pure Iteration and Substitution as the Basis of Computability

Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 203-213
A Proof Theoretic Tool for First-Order Modal Logic

Yehuda Schwartz, George Tourlakis
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 93-110
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics

Feng Gao, George Tourlakis
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 131-148
On the proof-theory of a first-order extension of GL

Yehuda Schwartz, George Tourlakis
Logic and Logical Philosophy , 23 /3 (2014) s. 329-363
An Arithmetically Complete Predicate Modal Logic

Yunge Hao, George Tourlakis
Bulletin of the Section of Logic , 50 /4 (2021) s. 513-541
A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs

G. Tourlakis
Bulletin of the Section of Logic , 45 /1 (2016) s. 17-32
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras

George Weaver, Benjamin George
Bulletin of the Section of Logic , 31 /3 (2002) s. 145-157
Kaczy łeb

George Ciprian
Dialog : miesięcznik Związku Literatów Polskich , 18 /8 (1973) s. 17-75
Polska i Węgry między wojnami ; (Endre Kovàcs, Magyar-lengyel kaposolatok a két vilàghéboru közöt)

George Gömöri
Zeszyty Historyczne (Paryż) 22 (223) (1972) s. 219-223
Jubileusz

George Tabori
Dialog : miesięcznik Związku Literatów Polskich , 41 /7 (1996) s. 45-65
Weisman i czerwona twarz : żydowski western

George Tabori
Dialog : miesięcznik Związku Literatów Polskich , 38 /8 (1993) s. 34-51
The end of the Bernardin era

George Weigel
Krakowskie Studia Międzynarodowe : [czasopismo Krakowskiej Szkoły Wyższej im. Andrzeja Frycza Modrzewskiego] , 8 /2 (2011) s. 279-290
Speed - Virtuosity - Labyrinth

George Lellis
Art Inquiry. Recherches sur les arts /3 (2001) s. 207-213
Portraiture in Film, Video, and Internet: Some Axionms, Comparisons and Examples

George Lellis
Art Inquiry. Recherches sur les arts /2 (2000) s. 75-87
From Iron Age to Middle Age : the Archaeological Evidence of Ships and Boats of the Baltic Sea

George Indruszewski
Quaestiones Medii Aevi Novae 10 (2005) s. 11-52

Zawęź wyniki

Czasopismo:

Bulletin of the Section of Logic (29)
Dialog : miesięcznik Związku Literatów Polskich (10)
Zeszyty Historyczne (Paryż) (4)
Art Inquiry. Recherches sur les arts (2)
Quaestiones Medii Aevi Novae (2)
Logic and Logical Philosophy (1)
Krakowskie Studia Międzynarodowe : [czasopismo Krakowskiej Szkoły Wyższej im. Andrzeja Frycza Modrzewskiego] (1)

Autor:

Data wydania:

Między a

Język:

EN (78)
PL (59)
FR (3)
SW (1)

Subskrybuj wyniki

Polish History
Museum in Warsaw

About the project
Offer for publishers

Materials published on the website under licence CC BY-SA
Designed by: Veshch

Register

Username:

E-mail:

Password:

Confirm password:

Sign in

Sign in

Username:

Password:

Forgot password