Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /

Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /

PSZJBL

Bibliographic Details
Format:
Language:	eng
Published:	Amsterdam ; Washington DC : IOS Press, c201
Subjects:	Logic, Symbolic and mathematical

Similar Items

Understanding symbolic logic /
by: 286788 Klenk, Virginia
Published: (1983)

Understanding Mathematical Logic and its Applications /
by: Swafford, Brenden, author 648092
Published: (2012)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
by: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Published: (1972)

Mathematical logic in Latin America : proceedings of the 4th Latin America Symposium on mathematical logic /
by: Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), et al.
Published: (1980)

Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
by: Holldobler, Steffen, 1957-, et al.
Published: (2008)

Logic, language, information and computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 : proceedings /
by: Workshop on Logic, Language, Information and Computation (15th : 2008 : Edinburgh, U.K.), et al.
Published: (2008)

Logic, methodology and philosophy of science IV : proceedings /
by: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Published: (1973)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
by: Zaidatun Tasir, 1972-
Published: (1995)

Formal methods in artificial intelligence /
by: 337716 Ramsay, Allan

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Mathematics and mathematical logic : new research /
by: Milosav, Peter, et al.
Published: (c201)

A concise introduction to pure mathematics /
by: Liebeck, M. W. (Martin W.), 1954-
Published: (c201)

Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (c201)

A four-flagged lemma
by: Sertel, Murat R.
Published: (2009)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
by: Kechris, A. S.
Published: (1978)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
by: De Alcantara, Luiz Paulo
Published: (1985)

Transition to higher mathematics : structure and proof /
by: 222490 Dumas, Bob A., et al.
Published: (2007)

Combinatory logic /
by: 351193 Curry, Haskell Brooks, et al.
Published: (1974)

Symbolic logic /
by: 372615 Jacquette, Dale
Published: (2001)

Mathematical logic /
by: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Published: (1978)

Proceedings of the summer school and colloqium in mathematical logic /
by: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Published: (1969)

Languages, logic and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)

Mathematical foundation of programming /
by: 390126 Beckman, Frank S.
Published: (1980)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
by: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Published: (1998)

Logic of mathematics : a modern course of classical logic /
by: 454206 Adamowicz, Zofia, et al.
Published: (1997)

Introduction to logic /
by: 299767 Copi, Irving M., et al.
Published: (1998)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

A First Course in Logic /
by: Lawson, Mark V., author
Published: (2019)

Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godel /
by: 355713 Mostowski, Andrzej
Published: (1952)

Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedings /
by: Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), et al.
Published: (1975)

Elements of mathematical logic (model theory) /
by: 351900 Kreisel, G., et al.
Published: (1971)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
by: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), et al.
Published: (1971)

Handbook of Spatial Logics [electronic resource] /
by: Aiello, Marco, et al.
Published: (2007)

Foundational studies : selected works /
by: 355713 Mostowski, Andrzej
Published: (1979)

Solvable cases of the decision problem /
by: 366805 Ackermann, Wilhelm
Published: (1954)

Elements of mathematical logic /
by: 343101 Novikov, P. S.
Published: (1964)

Mathematical logic /
by: Goodstein, R. L. (Reuben Louis)
Published: (1957)

A course in mathematical logic /
by: Manin, Iu I
Published: (1977)

Mathematical logic /
by: 344925 Monk, James Donald
Published: (1976)