Carregando...

Código QR (código de barras bidimensional)

Games, puzzles, and computation /

other_versions_link

Detalhes bibliográficos
Autor principal:	Hearn, Robert A.
Outros Autores:	Demaine, Erik D.
Formato:	Printed Book
Idioma:	English
Publicado em:	Wellesley, Mass. : A K Peters, Ltd., c2009.
Assuntos:	Problem solving > Mathematical models. Games > Mathematical models. Logic, Symbolic and mathematical.

Registros relacionados

Mathematics in games, sports, and gambling : the games people play /
por: Gould, Ronald J.
Publicado em: (2010)

Games and mathematics : subtle connections /
por: Wells, David
Publicado em: (2013)

Symbolic Logic and the Game of Logic
por: Carroll, Lewis
Publicado em: (1958)

Mathematics in games, sports, and gambling : the games people play /
por: Gould, Ronald
Publicado em: (2010)

Oligopoly and the theory of games /
por: Friedman, James W.
Publicado em: (1977)

Introduction to language and the theory of computation /
por: John,, C.Martin
Publicado em: (2003)

Discrete mathematics: for computer scientists /
por: Truss,, John
Publicado em: (2000)

Mathematical logic for computer science /
Publicado em: (2008)

Introduction to game-theoretic modelling /
por: Mesterton-Gibbons, Mike
Publicado em: (2001)

Classical theory of first order logic
por: Pampapathy Rao, A; Author
Publicado em: (1970)

Classical theory of first order logic
por: Pampapathy Rao, A; Author
Publicado em: (1970)

Games and mathematics : subtle connections /
por: Wells, D. G.
Publicado em: (2012)

Logic, sets, and recursion /
por: Causey, Robert L.
Publicado em: (2006)

Profile of mathematical logic
por: Delong, Horward
Publicado em: (1970)

Logic collequium 2007
por: Francoise Delon (ed.)
Publicado em: (2010)

Introduction to elementary mathematical logic /
por: Stolyar, A. A.
Publicado em: (1983)

A concise introduction to pure mathematics /
por: Liebeck, M. W.
Publicado em: (2016)

How to prove it : a structured approach /
por: Velleman, Daniel J.
Publicado em: (2006)

Group theory and its applications to chemistry /
por: Raman,, K.V
Publicado em: (2003)

Introduction to formal languages and automata /
por: Linz,, Peter
Publicado em: (2002)

A transition to mathematics with proofs /
por: Cullinane, Michael J.
Publicado em: (2013)

Symbolic logic
por: Copi, Irving M
Publicado em: (1997)

Introduction to symbolic logic /
por: Basson, A. H., et al.
Publicado em: (1976)

Introduction to symbolic logic /
por: Basson, A. H., et al.
Publicado em: (1976)

Introduction to mathematical logic /
por: Mendelson, Elliott
Publicado em: (2010)

Introduction to mathematical logic /
por: Mendelson, Elliott
Publicado em: (1964)

Symbolic logic /
por: Copi, Irving M.
Publicado em: (1973)

Introduction to symbolic logic /
por: Carney, James D.
Publicado em: (1970)

A precis of mathematical logic /
por: Bochenski, Joseph M.
Publicado em: (1959)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr
Publicado em: (1973)

Course of mathematical logic /
por: Fraïssé, Roland
Publicado em: (1973)

An outline of mathematical logic : fundamental results and notions explained with all details /
por: Grzegorczyk, Andrzej
Publicado em: (1974)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert W.
Publicado em: (1962)

A profile of mathematical logic /
por: DeLong, Howard
Publicado em: (1970)

Papers in philosophical logic /
por: Lewis, David K.
Publicado em: (1998)

Symbolic logic /
por: Copi, Irving M.
Publicado em: (1979)

Logical investigations /
por: Frege, Gottlob
Publicado em: (1977)

An introduction to symbolic logic /
por: Langer, Susanne K.
Publicado em: (1967)

Foundations of mathematical logic /
por: Curry, Haskell B.
Publicado em: (1977)

Symbolic logic /
por: Copi, Irving M.
Publicado em: (2015)