Author Results for Barwise, Jon

Barwise,Jon
Elsevier Science & Technology
(美)乔恩·巴威斯(Jon Barwise), 约翰·佩里(John Perry)著
(美)乔恩·巴威斯(Jon Barwise)，约翰·埃切曼迪(John Etchemendy)著
Allwein,Gerard
see all »
Allwein,Gerard,
Barker-Plummer,Dave
Etchemendy,John
Feferman,Solomon
Jon Barwise

1
Admissible sets and structures an approach to definability theory

Cover is for reference only
Main Authors: Barwise Jon.
Published: Springer-Verlag,
Publication Dates: 1975.
Call Number: O14/B296/
Book
Save to List
Saved in:
2
Information flow the logic of distributed systems

Cover is for reference only
Main Authors: Barwise Jon
Group Author: Seligman Jerry 1964-
Published: Cambridge University Press,
Publication Dates: 1997.
Call Number: TP14/B296/
Book
Save to List
Saved in:
3
情境与态度

Cover is for reference only
Main Authors: 美 巴威斯 Barwise, Jon 1942-2000) ((美)乔恩·巴威斯(Jon Barwise), 约翰·佩里(John Perry)著); 美 佩里 Perry, John 1943-)
Group Author: 贾国恒 (1971-) (译)
Published: 南京大学出版社
Publication Dates: 2015
Call Number: H030/7754
Book
Save to List
Saved in:
4
Model-theoretic logics

Cover is for reference only
Group Author: Barwise Jon; Feferman Solomon
Published: Springer-Verlag,
Publication Dates: c1985.
Call Number: O242.1/M689/
Book
Save to List
Saved in:
5
Studies in model theory

Cover is for reference only
Main Authors: Morley Michael Darwin 1930-
Group Author: Barwise Jon
Published: Mathematical Association of America
Publication Dates: [c1973]
Call Number: O141.4/S933/
Book
Save to List
Saved in:
6
说谎者悖论 真与循环 an essay on truth and circularity

Cover is for reference only
Main Authors: (美) 巴威斯 Barwise, Jon ((美)乔恩·巴威斯(Jon Barwise)，约翰·埃切曼迪(John Etchemendy)著); (美) 埃切曼迪 Etchemendy, John
Group Author: 贾国恒 (译)
Published: 南京大学出版社
Publication Dates: 2022
Call Number: O144.2/7754
Book
Save to List
Saved in:
7
Handbook of mathematical logic /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology
Group Author: Barwise, Jon; Keisler, H. Jerome
Published: North-Holland Pub. Co.,
Publication Dates: 1977.
eBook
Save to List
Saved in:
8
Handbook of mathematical logic

Cover is for reference only
Group Author: Barwise Jon; Keisler H. Jerome
Published: North-Holland Pub. Co.,
Publication Dates: 1977.
Call Number: O141-62/B296/
Book
Save to List
Saved in:
9
Logical reasoning with diagrams

Cover is for reference only
Group Author: Allwein Gerard, 1956-; Barwise Jon.
Published: Oxford University Press,
Publication Dates: 1996.
Call Number: O141/L832/
Book
Save to List
Saved in:
10
Language, proof, and logic

Cover is for reference only
Main Authors: Barwise Jon
Group Author: Etchemendy John 1952-; Allwein Gerard 1956-; Barker-Plummer Dave; Liu Albert 1966-
Published: CSLI Publications,
Publication Dates: c2002.
Call Number: B81/B296
Book
Save to List
Saved in:
11
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /

Cover is for reference only
Corporate Authors: Kleene Symposium Madison, Wis; Elsevier Science & Technology
Group Author: Kleene, Stephen Cole, 1909-1994; Barwise, Jon; Keisler, H. Jerome; Kunen, Kenneth
Published: North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
Publication Dates: 1980.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —