Wiersze, w których datę umieszczenia danego pliku wyróżniono czerwienią dotyczą faktów z działalności PTLiFN. Pozostałe - faktów mogących interesować członków z innych powodów.
Those lines in which the date of putting the file is marked with red are concerned with Association's activities. The remaining ones - with some other facts of interest.
C O N T E N T S 2 0 0 2 / 2 0 0 3
Porządek dzienny Walnego Zgromadzenia PTLiFN, 1 lutego 2003. Obejmuje wybory władz na nową kadencję. 27-12-02
The Schedule of The Association's General Assembly, including the election of the Association's Board, etc.
Sprawozdanie Zarządu z działalności w upływającej kadencji. 27-01-03
The Board's Report.
Statut PTLiFN. 27-01-03
The Association's Chapter.
Deklaracja członkowska. 27-01-03
Application Form.
Protokół Walnego Zgromadzenia 1 lutego 2003. 25-02-03
General Assembly 2003 Minutes.
Protokół Pierwszego Posiedzenia Zarządu. 10-03-03
Board Session Minutes.
Seminarium 21 marca 2003, odczyt A.Grzegorczyka. 10-03-03
Seminar, A.Grzegorczyk's lecture.
C O N T E N T S 2 0 0 0
Porządek dzienny Walnego Zgromadzenia PTLiFN, 24-01-2000. Obejmuje wybory władz na nową kadencję. 20-01-00
The Schedule of The Association's General Assembly, including the election of the Association's Board, etc.
HOPOS 2000 - 3rd Intern. History of Philosophy of Science Conference, Vienna, July 6-9, 2000. 27-10-99
Organized by Vienna University etc.
Logic Colloquium 2OOO, La Sorbonne, Paris, July 23-31, 2000 30-10-99
The program of Colloquium - ASL European Meeting.
IV Warsztaty Logiki, Informatyki i Filozofii Nauki: Tarski vs Hilbert, or Semantic Consequence vs Formal Derivability - in the Centenary of Hilbert's Second Problem Zakopane, 30.IX - 3.X. 2000
05-05-00
Workshop IV addresses the impact of the 2nd Problem (to prove consistency of arithmetic) on logic, etc, including Tarski's response with his "antiformalistic" concept of logical consequence. The Workshop language - Polish, some comments - in English. Invited Speakers: R.Murawski, J.Woleński, et al.
C O N T E N T S 1 9 9 9
Basic facts about PALPS 03-09-99 ASCII file
Sprawozdanie z drugiej kadencji, 1997-99 30-12-99 Zawiera wiele danych o konferencjach logicznych w okresie sprawozdawczym. (ASCII) III Warsztaty Logiki, Informatyki i Filozofii Nauki: "Hilbert i Zagadnienie Rozstrzygalności", Zakopane, 26-30.IX.1999. 22-09-99 Program Warsztatów, współorganizowanych przez PTLiFN, przy wsparciu finansowym KNF PAN i Fundacji na rzecz Logiki, Informatyki i Filozofii Nauki. Symposium of the Association, affiliated with 11th Congress of Logic, Methodology and Philosophy of Science, 1999. 05-09-99 The program of Symposium Session of the Association in November 1999. 15-11-99 The program of Session Przyjęcie PTLiFN do DLMPS. Władze DLMPS 06-09-99 PTLiFN received to DLMPS. The Board of DLMPS. Program of the Conference on Analytic Tableaux, June 1999 05-09-99 The program conveys information on current research in A.T. ASCII file. Redakcyjne zamysły i zapytania 03-09-99 Text in Polish Modern logic in Poland - A Historical Survey 03-09-99 File under construction