459:
27:
524:
500:
333:
107:
519:
534:
267:
493:
132:
and their underlying rationales and broader philosophical significance. The book also presents various forms of proof:
167:
65:
486:
409:
458:
529:
374:
296:
239:
369:
276:
331:
O’Hair, Greg (September 2013). "A review of "Smith, Nicholas J. J., Logic: The Laws of Truth".
202:
Makinson, David (February 2015). "Book Review: Nicholas J.J. Smith, Logic: The Laws of Truth".
414:
383:
350:
313:
221:
184:
137:
121:
102:
37:
470:
342:
305:
213:
176:
145:
141:
125:
26:
513:
204:
309:
346:
180:
444:
466:
217:
133:
387:
354:
317:
225:
188:
86:
410:"Logic: The Laws of Truth by Nicholas J. J. Smith [Book Review]"
280:
240:"Book note: Nick Smith's new Logic: The Laws of Truth - Logic Matters"
55:
265:
Duke-Yonge, Jennifer (2014). "Review of Logic: The laws of truth".
129:
370:"Nicholas J.J. Smith, Logic: The Laws of Truth . Reviewed by"
294:
Saidel, Eric (2 June 2016). "Logic: The Laws of Truth".
474:
165:
Paoli, F. (27 March 2014). "Logic. The Laws of Truth".
101:
93:
81:
71:
61:
51:
43:
33:
124:, in which the author provides an introduction to
148:. It also includes numerous logical exercises.
128:. It covers the formal tools and techniques of
494:
8:
19:
501:
487:
25:
18:
157:
7:
455:
453:
368:Evans, Peter W. (28 February 2015).
473:. You can help Knowledge (XXG) by
334:Australasian Journal of Philosophy
14:
525:Princeton University Press books
457:
168:History and Philosophy of Logic
268:The Bulletin of Symbolic Logic
16:2012 book by Nicholas J. Smith
1:
310:10.1080/10848770.2016.1188510
347:10.1080/00048402.2013.794849
181:10.1080/01445340.2014.902243
551:
452:
66:Princeton University Press
218:10.1007/s11225-015-9607-2
24:
20:Logic: The Laws of Truth
445:Logic: The Laws of Truth
117:Logic: The Laws of Truth
408:Hacken, George (2012).
520:2012 non-fiction books
535:Philosophy book stubs
465:This article about a
375:Philosophy in Review
136:, major variants of
469:-related book is a
297:The European Legacy
21:
120:is a 2012 book by
482:
481:
415:Computing Reviews
138:natural deduction
122:Nicholas J. Smith
113:
112:
38:Nicholas J. Smith
542:
503:
496:
489:
461:
454:
432:
431:
429:
427:
405:
399:
398:
396:
394:
365:
359:
358:
328:
322:
321:
291:
285:
284:
262:
256:
255:
253:
251:
236:
230:
229:
199:
193:
192:
162:
146:sequent calculus
142:axiomatic proofs
73:Publication date
29:
22:
550:
549:
545:
544:
543:
541:
540:
539:
510:
509:
508:
507:
450:
441:
436:
435:
425:
423:
407:
406:
402:
392:
390:
367:
366:
362:
330:
329:
325:
293:
292:
288:
264:
263:
259:
249:
247:
238:
237:
233:
201:
200:
196:
164:
163:
159:
154:
126:classical logic
82:Media type
74:
17:
12:
11:
5:
548:
546:
538:
537:
532:
527:
522:
512:
511:
506:
505:
498:
491:
483:
480:
479:
462:
448:
447:
440:
439:External links
437:
434:
433:
400:
360:
323:
304:(8): 865–867.
286:
275:(2): 202–203.
257:
231:
212:(1): 233–237.
194:
175:(3): 306–308.
156:
155:
153:
150:
111:
110:
105:
99:
98:
95:
91:
90:
83:
79:
78:
75:
72:
69:
68:
63:
59:
58:
53:
49:
48:
45:
41:
40:
35:
31:
30:
15:
13:
10:
9:
6:
4:
3:
2:
547:
536:
533:
531:
528:
526:
523:
521:
518:
517:
515:
504:
499:
497:
492:
490:
485:
484:
478:
476:
472:
468:
463:
460:
456:
451:
446:
443:
442:
438:
421:
417:
416:
411:
404:
401:
389:
385:
381:
377:
376:
371:
364:
361:
356:
352:
348:
344:
340:
336:
335:
327:
324:
319:
315:
311:
307:
303:
299:
298:
290:
287:
282:
278:
274:
270:
269:
261:
258:
246:. 24 May 2012
245:
244:Logic Matters
241:
235:
232:
227:
223:
219:
215:
211:
207:
206:
205:Studia Logica
198:
195:
190:
186:
182:
178:
174:
170:
169:
161:
158:
151:
149:
147:
143:
139:
135:
131:
127:
123:
119:
118:
109:
108:9780691151632
106:
104:
100:
96:
92:
88:
84:
80:
76:
70:
67:
64:
60:
57:
54:
50:
46:
42:
39:
36:
32:
28:
23:
475:expanding it
464:
449:
424:. Retrieved
419:
413:
403:
391:. Retrieved
382:(1): 41–43.
379:
373:
363:
338:
332:
326:
301:
295:
289:
272:
266:
260:
248:. Retrieved
243:
234:
209:
203:
197:
172:
166:
160:
116:
115:
114:
530:Logic books
134:proof trees
514:Categories
467:philosophy
426:24 October
393:24 October
341:(3): 629.
250:24 October
152:References
388:1920-8936
355:0004-8402
318:1084-8770
226:0039-3215
189:0144-5340
87:Paperback
62:Publisher
281:23800716
44:Language
97:544 pp.
85:Print (
52:Subject
47:English
34:Authors
386:
353:
316:
279:
224:
187:
144:, and
56:logics
277:JSTOR
130:logic
94:Pages
471:stub
428:2018
422:(12)
395:2018
384:ISSN
351:ISSN
314:ISSN
252:2018
222:ISSN
185:ISSN
103:ISBN
77:2012
343:doi
306:doi
214:doi
210:103
177:doi
516::
418:.
412:.
380:35
378:.
372:.
349:.
339:91
337:.
312:.
302:21
300:.
273:20
271:.
242:.
220:.
208:.
183:.
173:35
171:.
140:,
502:e
495:t
488:v
477:.
430:.
420:4
397:.
357:.
345::
320:.
308::
283:.
254:.
228:.
216::
191:.
179::
89:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.