Llwytho...

Côd QR

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

Manylion Llyfryddiaeth
Prif Awdur:	Logic from computer
Fformat:	Printed Book
Iaith:	English
Cyhoeddwyd:	New York Springer-Verlag 1992
Pynciau:	Logic, symbolic and mathematical > Computer science > Moschovakis, Y N

Eitemau Tebyg

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1962)

Symbolic Logic and the Game of Logic
gan: Carroll, Lewis
Cyhoeddwyd: (1958)

A textbook of logic
gan: Krishna Jain; Author
Cyhoeddwyd: (2009)

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

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

Symbolic logic
gan: Copi, Irving M
Cyhoeddwyd: (1964)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1973)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (1979)

Logical investigations /
gan: Frege, Gottlob
Cyhoeddwyd: (1977)

Symbolic logic /
gan: Copi, Irving M.
Cyhoeddwyd: (2015)

System of Logic
gan: Martin, Norman M
Cyhoeddwyd: (1989)

Formal logic /
Cyhoeddwyd: (2017)

Mathematical logic /
gan: Shoenfield, Joseph R.
Cyhoeddwyd: (2001)

Mathematical logic
gan: Chiswell,Ian, et al.
Cyhoeddwyd: (2008)

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

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (2010)

Introduction to mathematical logic /
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)

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

Introduction to symbolic logic /
gan: Carney, James D.
Cyhoeddwyd: (1970)

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

Course of mathematical logic /
gan: Fraïssé, Roland
Cyhoeddwyd: (1973)

Papers in philosophical logic /
gan: Lewis, David K.
Cyhoeddwyd: (1998)

An introduction to symbolic logic /
gan: Langer, Susanne K.
Cyhoeddwyd: (1967)

Foundations of mathematical logic /
gan: Curry, Haskell B.
Cyhoeddwyd: (1977)

An introduction to mathematical logic /
gan: Hodel, Richard E.
Cyhoeddwyd: (2013)

Essentials of symbolic logic /
gan: Simpson, R. L.
Cyhoeddwyd: (1988)

Introduction to mathematical logic /
gan: Walicki, Michał
Cyhoeddwyd: (2012)

Introduction to mathematical logic /
gan: Walicki, Michał
Cyhoeddwyd: (2012)

Structuralist theory of logic
gan: Koslow, Arnold
Cyhoeddwyd: (1992)

Introduction to mathematical logic
gan: Mendelson, Elliott
Cyhoeddwyd: (1964)

What is mathematical logic? /
gan: Crossley,J.N
Cyhoeddwyd: (1972)

Systems of formal logic /
gan: Hackstaff, L. H.
Cyhoeddwyd: (1966)

Introduction to mathematical logic
gan: Walicki, Michał
Cyhoeddwyd: (2012)

Logic, sets, and recursion /
gan: Causey, Robert L.
Cyhoeddwyd: (2006)

Elementary symbolic logic.
gan: Gustason, William
Cyhoeddwyd: (1973)

Understanding symbolic logic/
gan: Virginia Klenk
Cyhoeddwyd: (1989)

Mathematical logic : foundations for information science /
gan: Li, Wei
Cyhoeddwyd: (2010)

Modern Logic: a text in elementary symbolic logic/
gan: Graeme Forbes
Cyhoeddwyd: (1994)

A precis of mathematical logic /
gan: Bochenski, Joseph M.
Cyhoeddwyd: (1959)

A profile of mathematical logic /
gan: DeLong, Howard
Cyhoeddwyd: (1970)