J. Barwise
Identifiers
- Open LibraryOL2683175A
Top Subjects
- Logic, symbolic and mathematical (1)
Books by J. Barwise
Total count: 7
-
Kleene SymposiumElsevier Science & Technology Books1980-01-01
-
Handbook of Mathematical LogicElsevier Science & Technology Books1982-01-01
Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)North Holland1982-03-01
Model-Theoretic Logics (Perspectives in Mathematical Logic)Springer1985-12-01-
Constructivism in MathematicsAn IntroductionElsevier Science & Technology Books1988-01-01
-
Tarski's worldversion 4.0 for MS Windows.CSLI Publications1993-01-01
-
Model-Theoretic LogicsCambridge University Press2016-01-01