Mathematical logic

Automorphisms of First-order Structures

Birmingham) Kaye Edgbaston The University School of Mathematics and Statistics Richard (School of Mathematics and Statistics i London) Macpherson Queen Mary and Westfield College School of Mathematical Sciences Dugald (School of Mathematical Sciences

Existentially Closed Groups

University of Oxford) Higman Mathematical Institute Graham (Mathematical Institute i Canberra) Scott The Australian National University Department of Mathematics Elizabeth (Department of Mathematics

Logic in Arithmetic

Edinburgh) Scott William F (Heriot-Watt University

The Principles of Mathematics

Russell Bertrand i Bertrand Russell

Mathematical Logic: Part 2: Recursion Theory, Godel's...

Rene (Universite Paris VII) Cori i Daniel (Universite Paris VII) Lascar

Cryptographic Boolean Functions and Applications

USA) Cusick Buffalo Thomas W. (State University of New York i CA USA) Stanica Monterey Pantelimon (Naval Postgraduate School

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan (University of Edinburgh) Bundy, Switzerland) Basin David (ETH Zentrum, et al.

Automata Theory with Modern Applications

James A. (University of South Carolina) Anderson

Automata Theory

Matthew (.) Simon

Meaning, Logic And Ludics

France) Lecomte Alain (Univ De Paris Viii

Algebraizable Logics

W J Blok i Don Pigozzi