Truth, syntax and modality : proceedings /

Truth, syntax and modality : proceedings /

41

Bibliographic Details
Main Authors:	Conference on Alternative Semantics (1970 : Temple University), Leblanc, Hugues, 1924-
Format:
Published:	Amsterdam : North-Holland, 1973
Subjects:	Logic, Symbolic and mathematical Semantics

Similar Items

Techniques of deductive inference /
by: Leblanc, Hugues, 1924-
Published: (1966)

Foundations : logic, language and mathematics /
by: Leblanc, Hugues, 1924-, et al.
Published: (1984)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
by: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), et al.
Published: (1971)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
by: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Published: (1972)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

Modal logic : The lewis-modal systems /
by: 423681 Zeman, J. Jay
Published: (1973)

Proceedings of the 1975 International Symposium on Multiple-Valued logic
by: 251123 International Symposium on Multiple-Valued Logic, 5th, Indiana University, May 13-16, 1975, et al.

Proceedings of Logic Colloquium /
by: 467457 Logic Colloquium, et al.
Published: (1969)

Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedings /
by: Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), et al.
Published: (1975)

Logic, methodology and philosophy of science IV : proceedings /
by: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Published: (1973)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

Logic, semantics, mathematics : papers from 1923 to 1938 /
by: 319988 Tarski, Alfred, et al.
Published: (1956)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
by: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Published: (1998)

Proceedings of the summer school and colloqium in mathematical logic /
by: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Published: (1969)

Proceedings of the Summer School in Logic Leeds, August 7-23, 1967 /
by: Summer School in Logic (1967 : Leeds), et al.
Published: (1968)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
by: Kechris, A. S.
Published: (1978)

ISILC logic conference : proceedings /
by: International Summer Institute and Logic Colloquium (1974 : University of Kiel), et al.
Published: (1975)

The theory of models : proceedings /
by: 389695 Addison, J. W., et al.
Published: (1975)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
by: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), et al.
Published: (1980)

Intuitionism and proof theory : proceedings /
by: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Published: (1970)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
by: 445928 Ehrig, H., et al.
Published: (1985)

Infinity and truth /
by: Chong, C.-T. (Chi-Tat), 1949- editor
Published: (2014)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
by: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), et al.
Published: (2008)

Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Word and object /
by: Quine, W. V. (Willard Van Orman), author
Published: (c201)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
by: Zaidatun Tasir, 1972-
Published: (1995)

Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding] /
by: International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), et al.
Published: (1994)

Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
by: Holldobler, Steffen, 1957-, et al.
Published: (2008)

Algebra and logic : papers /
by: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Published: (1975)

Logic /
by: 344312 Earle, Nick
Published: (1973)

Cambridge summer school in mathematical logic /
by: Mathias, A. R. D., et al.
Published: (1973)

Dictionary of symbols of mathematical logic /
by: Feys, Robert, et al.
Published: (1973)

Symbolic logic /
by: 299767 Copi, Irving M.
Published: (1973)

A four-flagged lemma
by: Sertel, Murat R.
Published: (2009)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
by: De Alcantara, Luiz Paulo
Published: (1985)

Transition to higher mathematics : structure and proof /
by: 222490 Dumas, Bob A., et al.
Published: (2007)

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)