Đang tải...

Mã QR

Independence - friendly logic :a game- theoretic approach

Chi tiết về thư mục
Tác giả chính:	Allen L Mann
Tác giả khác:	Gabriel Sandu, Merlijn Sevenster
Định dạng:	Printed Book
Được phát hành:	New York Cambridge University Press 2011
Những chủ đề:	Symbolic logic mathematical Logic First Order Logic Independence Friendly Logic Mathematics

Những quyển sách tương tự

Independence-friendly logic : a game-theoretic approach /
Bằng: Mann, Allen L., et al.
Được phát hành: (2011)

A textbook of logic
Bằng: Krishna Jain; Author
Được phát hành: (2009)

Symbolic Logic and the Game of Logic
Bằng: Carroll, Lewis
Được phát hành: (1958)

Profile of mathematical logic
Bằng: Delong, Horward
Được phát hành: (1970)

Logic collequium 2007
Bằng: Francoise Delon (ed.)
Được phát hành: (2010)

Metalogic : an introduction to the metatheory of standard first order logic /
Bằng: Hunter, Geoffrey
Được phát hành: (1971)

Classical theory of first order logic
Bằng: Pampapathy Rao, A; Author
Được phát hành: (1970)

Classical theory of first order logic
Bằng: Pampapathy Rao, A; Author
Được phát hành: (1970)

The logical syntax of language /
Bằng: Carnap, Rudolf
Được phát hành: (1964)

Logical forms : an introduction to philosophical logic /
Bằng: Sainsbury, R. M.
Được phát hành: (1991)

Logic with trees : an introduction to symbolic logic /
Bằng: Howson, Colin
Được phát hành: (1997)

Essentials of symbolic logic /
Bằng: Simpson, R. L.
Được phát hành: (1988)

Systems of formal logic /
Bằng: Hackstaff, L. H.
Được phát hành: (1966)

Logic, sets, and recursion /
Bằng: Causey, Robert L.
Được phát hành: (2006)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1973)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (1979)

Logical investigations /
Bằng: Frege, Gottlob
Được phát hành: (1977)

Symbolic logic /
Bằng: Copi, Irving M.
Được phát hành: (2015)

System of Logic
Bằng: Martin, Norman M
Được phát hành: (1989)

Formal logic /
Được phát hành: (2017)

Mathematical logic /
Bằng: Shoenfield, Joseph R.
Được phát hành: (2001)

Mathematical logic
Bằng: Chiswell,Ian, et al.
Được phát hành: (2008)

Logic for computer science and artificial intelligence
Bằng: Caferra, Ricardo
Được phát hành: (2011)

A precis of mathematical logic /
Bằng: Bochenski, Joseph M.
Được phát hành: (1959)

A profile of mathematical logic /
Bằng: DeLong, Howard
Được phát hành: (1970)

Foundations of the logical theory of scientific knowledge (complex logic) /
Bằng: Zinoviev, Aleksandr
Được phát hành: (1973)

A concise introduction to mathematical logic /
Bằng: Rautenberg, Wolfgang
Được phát hành: (2010)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (2010)

Introduction to mathematical logic /
Bằng: Mendelson, Elliott
Được phát hành: (1964)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

Introduction to symbolic logic /
Bằng: Carney, James D.
Được phát hành: (1970)

Introduction to symbolic logic /
Bằng: Basson, A. H., et al.
Được phát hành: (1976)

Course of mathematical logic /
Bằng: Fraïssé, Roland
Được phát hành: (1973)

Papers in philosophical logic /
Bằng: Lewis, David K.
Được phát hành: (1998)

An introduction to symbolic logic /
Bằng: Langer, Susanne K.
Được phát hành: (1967)

Foundations of mathematical logic /
Bằng: Curry, Haskell B.
Được phát hành: (1977)

An introduction to mathematical logic /
Bằng: Hodel, Richard E.
Được phát hành: (2013)

Introduction to mathematical logic /
Bằng: Walicki, Michał
Được phát hành: (2012)

Introduction to mathematical logic /
Bằng: Walicki, Michał
Được phát hành: (2012)

Structuralist theory of logic
Bằng: Koslow, Arnold
Được phát hành: (1992)