Results for “Association for Symbolic Logic”
99 books found
Books

Quest for the Historical Jesus Christ and Christianity
Mr.Avinash Patra
2011

From Quackery to Credibility. Unconventional Healthcare in the Era of HighTech Medicine.
Gilbert Mertens
2000
Proceedings of the Tarski Symposium
American Mathematical Society
1974
Proceedings of symposia in applied mathematics
American Mathematical Society
1961

Lambda calculus with types
H. P. Barendregt
2013

Introduction to automata theory, languages, and computation
John E. Hopcroft
1979

Nonstandard methods and applications in mathematics
Nigel Cutland
2006
Entailment and relevance
Nuel Dinsmore Belnap
1960
Model theory of fields
D. Marker
2004

An introduction to data structures with applications
Jean-Paul Tremblay
1976
Afterthoughts on Kaplan's Demonstratives
1995

Foundations of neural networks, fuzzy systems, and knowledge engineering
Nikola K. Kasabov
1996

Stable domination and independence in algebraically closed valued fields
Deirdre Haskell
2008

The Cabal seminar
2008
Proceedings of the Tarski symposium
Tarski Symposium (1971 University of California, Berkeley)
1979
Truth, syntax and modality
Conference on Alternative Semantics, Temple University 1970
1973
The metaphysics of Wittgenstein's Tractatus
Leonard Goddard
1981

The theory of models
International Symposium on the Theory of Models (1963 Berkeley, Calif.)
1965

Truth, syntax and modality
Conference on Alternative Semantics Temple University 1970.
1973

Proceedings
Tarski Symposium University of California, Berkeley 1971.
1974
