133:
247:
242:
347:
91:
342:
266:
195:
357:
352:
270:
370:
49:
77:
63:
252:
199:
149:
182:
140:
35:
17:
393:
232:
323:
285:
281:
222:
227:
313:
274:
190:
174:
211:
237:
387:
206:
159:
166:
296:
309:
Tag the talk page of all articles relevant to the project with either the
210:
is in need of attention (and there is an outstanding merge request into
29:
132:
292:
338:
These are the recent changes to pages linked from these pages
25:
131:
186:needs edit particularly in first section after TOC
122:
8:
267:Talk:Gödel–Gentzen negative translation
148:This list should be actively updated:
7:
271:Gödel–Gentzen negative translation
24:
288:, no discussion (11 March 2008)
1:
183:Descriptivist theory of names
223:Charles Stewart's watchlist
18:Knowledge:WikiProject Logic
410:
125:
121:
113:
104:
90:
76:
62:
48:
34:
202:, and consistent format
178:is in need of attention
170:is in need of attention
162:is in need of attention
111:
109:
102:
97:
95:
88:
83:
81:
74:
69:
67:
60:
55:
53:
46:
41:
39:
32:
348:Topic outline of logic
334:Monitor recent changes
136:
286:Disjunctive syllogism
282:Modus tollendo ponens
261:Notices and proposals
248:RfC (mathematics etc)
135:
343:List of logic topics
243:RfC (philosophy etc)
233:Discuss these tasks
191:Logical connectives
280:Proposed merge of
275:Glivenko's theorem
253:Requested articles
175:Logical connective
137:
394:WikiProject Logic
382:
381:
378:
377:
141:WikiProject Logic
117:
116:
401:
328:
322:
318:
312:
299:(date=June 2009)
269:: propose merge
123:
30:
26:
409:
408:
404:
403:
402:
400:
399:
398:
384:
383:
366:
336:
326:
320:
316:
310:
306:
277:(30 April 2009)
263:
258:
257:
212:Object language
196:subproject page
145:
130:
22:
21:
20:
12:
11:
5:
407:
405:
397:
396:
386:
385:
380:
379:
376:
375:
374:
373:
365:
364:Other routines
362:
361:
360:
358:Template:Logic
355:
353:Category:Logic
350:
345:
335:
332:
331:
330:
305:
302:
301:
300:
289:
278:
262:
259:
256:
255:
250:
245:
240:
238:Category:Logic
235:
230:
225:
219:
218:
217:
216:
215:
203:
187:
179:
171:
163:
155:
153:
152:
138:
129:
126:
119:
118:
115:
114:
112:
110:
108:
103:
101:
99:
96:
94:
89:
87:
85:
82:
80:
75:
73:
71:
68:
66:
61:
59:
57:
54:
52:
47:
45:
43:
40:
38:
33:
23:
15:
14:
13:
10:
9:
6:
4:
3:
2:
406:
395:
392:
391:
389:
372:
368:
367:
363:
359:
356:
354:
351:
349:
346:
344:
341:
340:
339:
333:
325:
315:
308:
307:
303:
298:
294:
290:
287:
283:
279:
276:
272:
268:
265:
264:
260:
254:
251:
249:
246:
244:
241:
239:
236:
234:
231:
229:
226:
224:
221:
220:
213:
209:
208:
207:Object theory
204:
201:
197:
193:
192:
188:
185:
184:
180:
177:
176:
172:
169:
168:
164:
161:
158:
157:
156:
151:
147:
146:
144:
142:
134:
127:
124:
120:
107:
100:
93:
86:
79:
72:
65:
58:
51:
44:
37:
31:
28:
27:
19:
371:New Articles
337:
324:Maths rating
205:
189:
181:
173:
165:
160:Logical form
154:
139:
105:
98:
84:
70:
56:
50:Participants
42:
295:begun, see
200:integration
167:Proposition
314:Philosophy
297:Talk:Logic
291:Rework of
78:Categories
143:task list
92:Standards
64:Templates
388:Category
304:Routines
369:Review
329:banner.
150:Discuss
293:Logic
284:into
228:Stubs
128:Tasks
106:To do
16:<
273:and
36:Main
319:or
194:: (
390::
327:}}
321:{{
317:}}
311:{{
198:)
214:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.