119:
recommends it as an "excellent beginner book", praising it for the use of simple set-theoretic examples and motivating intuitions, but noted that it "is sometimes criticized by category theorists for being misleading on some aspects of the subject, and for presenting long and difficult proofs where
120:
simple ones are available." But the preface of the Dover edition observes (p. xv) that "This is a book about logic, rather than category theory per se. It aims to explain, in an introductory way, how certain logical ideas are illuminated by a category-theoretic perspective."
393:
220:: "The author's ideas on how to achieve both intelligibility and rigor, explained in the preface, will be useful reading for anyone intending to teach nonstandard analysis."
388:
163:
323:
188:
373:
264:
143:
27:
78:
74:
383:
378:
353:
203:
70:
59:
368:
252:
Quantifiers, Propositions and
Identity: Admissible Semantics for Quantified Modal and Substructural Logics
240:
82:
398:
51:
159:
116:
102:
23:
319:
184:
180:
139:
309:
47:
194:
169:
149:
191:
166:
146:
362:
236:
65:
35:
217:
106:
214:
31:
349:
284:
315:
26:
who is
Emeritus Professor in the School of Mathematics and Statistics at
244:
342:
254:, Cambridge University Press and the Association for Symbolic Logic.
201:
Lectures on the
Hyperreals: An Introduction to Nonstandard Analysis.
96:
227:
2006: "Mathematical Modal Logic: a View of its
Evolution" in
131:, Lecture Notes in Computer Science 130, Springer-Verlag.
285:"Maxwell Cresswell - The Mathematics Genealogy Project"
394:
Academic staff of
Victoria University of Wellington
46:. He has also written a graduate level textbook on
164:Center for the Study of Language and Information
129:Axiomatising the Logic of Computer Programming
69:. He was elected Fellow and Councillor of the
311:Basic category theory for computer scientists
8:
85:for lifetime achievement in mathematics.
389:Victoria University of Wellington alumni
34:, New Zealand. His doctoral advisor was
276:
101:, North-Holland. Revised edition 1984.
57:He has been Coordinating Editor of The
44:Topoi: the Categorial Analysis of Logic
77:, and represented New Zealand to the
7:
136:Orthogonality and Spacetime Geometry
229:Modalities in the Twentieth Century
265:Influence of non-standard analysis
99:: The Categorial Analysis of Logic
14:
233:Handbook of the History of Logic
79:International Mathematical Union
75:New Zealand Mathematical Society
138:, Universitext Springer-Verlag
156:Logics of Time and Computation
81:. In 2012 he was awarded the
40:Logics of Time and Computation
1:
354:Mathematics Genealogy Project
204:Graduate Texts in Mathematics
38:. His most popular books are
71:Royal Society of New Zealand
50:which is an introduction to
308:Benjamin C. Pierce (1991).
89:Books and handbook chapters
415:
374:New Zealand mathematicians
213:Reviewer Perry Smith for
158:. CSLI Lecture Notes, 7.
63:and a Managing Editor of
60:Journal of Symbolic Logic
16:New Zealand mathematician
206:, 188. Springer-Verlag.
177:Mathematics of Modality
384:Mathematical logicians
172:. Second edition 1992.
379:New Zealand logicians
24:mathematical logician
52:nonstandard analysis
20:Robert Ian Goldblatt
160:Stanford University
73:, President of the
28:Victoria University
231:, Volume 7 of the
117:Benjamin C. Pierce
103:Dover Publications
325:978-0-262-66071-6
289:mathgenealogy.org
189:978-1-881526-24-7
181:CSLI Publications
109:, Project Euclid.
48:hyperreal numbers
22:(born 1949) is a
406:
350:Robert Goldblatt
330:
329:
305:
299:
298:
296:
295:
281:
247:, pp. 1–98.
107:Internet edition
414:
413:
409:
408:
407:
405:
404:
403:
359:
358:
339:
334:
333:
326:
307:
306:
302:
293:
291:
283:
282:
278:
273:
261:
91:
17:
12:
11:
5:
412:
410:
402:
401:
396:
391:
386:
381:
376:
371:
361:
360:
357:
356:
346:
345:
338:
337:External links
335:
332:
331:
324:
318:. p. 73.
300:
275:
274:
272:
269:
268:
267:
260:
257:
256:
255:
248:
224:
223:
222:
221:
208:
207:
197:
173:
152:
132:
124:
123:
122:
121:
111:
110:
105:edition 2006.
90:
87:
15:
13:
10:
9:
6:
4:
3:
2:
411:
400:
397:
395:
392:
390:
387:
385:
382:
380:
377:
375:
372:
370:
369:Living people
367:
366:
364:
355:
351:
348:
347:
344:
341:
340:
336:
327:
321:
317:
313:
312:
304:
301:
290:
286:
280:
277:
270:
266:
263:
262:
258:
253:
249:
246:
242:
238:
237:Dov M. Gabbay
234:
230:
226:
225:
219:
216:
212:
211:
210:
209:
205:
202:
198:
196:
193:
190:
186:
182:
178:
174:
171:
168:
165:
161:
157:
153:
151:
148:
145:
144:0-387-96519-X
141:
137:
133:
130:
126:
125:
118:
115:
114:
113:
112:
108:
104:
100:
98:
93:
92:
88:
86:
84:
80:
76:
72:
68:
67:
66:Studia Logica
62:
61:
55:
53:
49:
45:
41:
37:
36:Max Cresswell
33:
29:
25:
21:
310:
303:
292:. Retrieved
288:
279:
251:
235:, edited by
232:
228:
200:
176:
155:
135:
128:
95:
64:
58:
56:
43:
39:
19:
18:
399:1949 births
83:Jones Medal
363:Categories
294:2023-04-09
271:References
241:John Woods
215:MathSciNet
32:Wellington
343:Home page
316:MIT Press
259:See also
245:Elsevier
352:at the
195:1317099
170:1191162
150:0888161
322:
250:2011:
199:1998:
187:
175:1993:
154:1987:
142:
134:1987:
127:1982:
94:1979:
218:wrote
97:Topoi
320:ISBN
239:and
185:ISBN
140:ISBN
42:and
365::
314:.
287:.
243:,
192:MR
183:,
179:,
167:MR
162:,
147:MR
54:.
30:,
328:.
297:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.