Lanean...

QR Kodea

Introduction to language and the theory of computation /

Xehetasun bibliografikoak
Egile nagusia:	John,, C.Martin
Formatua:	Printed Book
Hizkuntza:	English
Argitaratua:	New Delhi: TMH: Tata McGraw-Hill publishing Company Limited, 2003.
Edizioa:	3rd.
Gaiak:	Mathematics Mathematical(Symbolic) Logic

Antzeko izenburuak

Introduction to automata theory, Languages and computation
nork: Hopcroft, John E
Argitaratua: (2001)

Introduction to automata theory, Languages and computation
nork: Hopcroft, John E
Argitaratua: (1990)

Introduction to automata theory, Languages and computation
nork: Hopcroft, John E, et al
Argitaratua: (2011)

Introduction to formal languages and automata /
nork: Linz,, Peter
Argitaratua: (2002)

Discrete mathematics: for computer scientists /
nork: Truss,, John
Argitaratua: (2000)

Concise introduction to pure mathematics.- 3rd ed. /
nork: Liebeck, Martin
Argitaratua: (2011)

Mathematical logic for computer science /
Argitaratua: (2008)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (2010)

Introduction to mathematical logic /
nork: Mendelson, Elliott
Argitaratua: (1964)

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

Introduction to symbolic logic /
nork: Carney, James D.
Argitaratua: (1970)

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

An introduction to symbolic logic /
nork: Langer, Susanne K.
Argitaratua: (1967)

An introduction to mathematical logic /
nork: Hodel, Richard E.
Argitaratua: (2013)

Introduction to mathematical logic /
nork: Walicki, Michał
Argitaratua: (2012)

Introduction to mathematical logic /
nork: Walicki, Michał
Argitaratua: (2012)

Introduction to mathematical logic
nork: Mendelson, Elliott
Argitaratua: (1964)

Introduction to mathematical logic
nork: Walicki, Michał
Argitaratua: (2012)

Structuralist theory of logic
nork: Koslow, Arnold
Argitaratua: (1992)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Classical theory of first order logic
nork: Pampapathy Rao, A; Author
Argitaratua: (1970)

Introduction to elementary mathematical logic /
nork: Stolyar, A. A.
Argitaratua: (1983)

A concise introduction to mathematical logic /
nork: Rautenberg, Wolfgang
Argitaratua: (2010)

System of Logic
nork: Martin, Norman M
Argitaratua: (1989)

The logical syntax of language /
nork: Carnap, Rudolf
Argitaratua: (1964)

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

A concise introduction to pure mathematics /
nork: Liebeck, M. W.
Argitaratua: (2016)

Group theory and its applications to chemistry /
nork: Raman,, K.V
Argitaratua: (2003)

Theory and problems of set theory and related topics
nork: Lipschutz, Seymour
Argitaratua: (1964)

Introduction to mathematical structures and proofs /
nork: Gerstein, Larry J.
Argitaratua: (2012)

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

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

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

Introduction to formal languages and automata
nork: Linz, Peter
Argitaratua: (2003)

Introduction to formal languages and automata
nork: Linz, Peter
Argitaratua: (2003)

Profile of mathematical logic
nork: Delong, Horward
Argitaratua: (1970)

Logic collequium 2007
nork: Francoise Delon (ed.)
Argitaratua: (2010)

A textbook of logic
nork: Krishna Jain; Author
Argitaratua: (2009)

Symbolic logic /
nork: Copi, Irving M.
Argitaratua: (1973)

A precis of mathematical logic /
nork: Bochenski, Joseph M.
Argitaratua: (1959)