Loading...

QR Code

Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989

Bibliografiske detaljer
Hovedforfatter:	Logic from computer
Format:	Printed Book
Sprog:	English
Udgivet:	New York Springer-Verlag 1992
Fag:	Logic, symbolic and mathematical > Computer science > Moschovakis, Y N

Lignende værker

Symbolic logic /
af: Copi, Irving M.
Udgivet: (1962)

Symbolic Logic and the Game of Logic
af: Carroll, Lewis
Udgivet: (1958)

A textbook of logic
af: Krishna Jain; Author
Udgivet: (2009)

Logical forms : an introduction to philosophical logic /
af: Sainsbury, R. M.
Udgivet: (1991)

Logic with trees : an introduction to symbolic logic /
af: Howson, Colin
Udgivet: (1997)

Symbolic logic
af: Copi, Irving M
Udgivet: (1964)

Symbolic logic /
af: Copi, Irving M.
Udgivet: (1973)

Symbolic logic /
af: Copi, Irving M.
Udgivet: (1979)

Logical investigations /
af: Frege, Gottlob
Udgivet: (1977)

Symbolic logic /
af: Copi, Irving M.
Udgivet: (2015)

System of Logic
af: Martin, Norman M
Udgivet: (1989)

Formal logic /
Udgivet: (2017)

Mathematical logic /
af: Shoenfield, Joseph R.
Udgivet: (2001)

Mathematical logic
af: Chiswell,Ian, et al.
Udgivet: (2008)

Foundations of the logical theory of scientific knowledge (complex logic) /
af: Zinoviev, Aleksandr
Udgivet: (1973)

Introduction to mathematical logic /
af: Mendelson, Elliott
Udgivet: (2010)

Introduction to mathematical logic /
af: Mendelson, Elliott
Udgivet: (1964)

Introduction to symbolic logic /
af: Basson, A. H., et al.
Udgivet: (1976)

Introduction to symbolic logic /
af: Carney, James D.
Udgivet: (1970)

Introduction to symbolic logic /
af: Basson, A. H., et al.
Udgivet: (1976)

Course of mathematical logic /
af: Fraïssé, Roland
Udgivet: (1973)

Papers in philosophical logic /
af: Lewis, David K.
Udgivet: (1998)

An introduction to symbolic logic /
af: Langer, Susanne K.
Udgivet: (1967)

Foundations of mathematical logic /
af: Curry, Haskell B.
Udgivet: (1977)

An introduction to mathematical logic /
af: Hodel, Richard E.
Udgivet: (2013)

Essentials of symbolic logic /
af: Simpson, R. L.
Udgivet: (1988)

Introduction to mathematical logic /
af: Walicki, Michał
Udgivet: (2012)

Introduction to mathematical logic /
af: Walicki, Michał
Udgivet: (2012)

Structuralist theory of logic
af: Koslow, Arnold
Udgivet: (1992)

Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1964)

What is mathematical logic? /
af: Crossley,J.N
Udgivet: (1972)

Systems of formal logic /
af: Hackstaff, L. H.
Udgivet: (1966)

Introduction to mathematical logic
af: Walicki, Michał
Udgivet: (2012)

Logic, sets, and recursion /
af: Causey, Robert L.
Udgivet: (2006)

Elementary symbolic logic.
af: Gustason, William
Udgivet: (1973)

Understanding symbolic logic/
af: Virginia Klenk
Udgivet: (1989)

Mathematical logic : foundations for information science /
af: Li, Wei
Udgivet: (2010)

Modern Logic: a text in elementary symbolic logic/
af: Graeme Forbes
Udgivet: (1994)

A precis of mathematical logic /
af: Bochenski, Joseph M.
Udgivet: (1959)

A profile of mathematical logic /
af: DeLong, Howard
Udgivet: (1970)