MPG.eBooks - Search Results

Cover Image

961

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

962

Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Cover Image

963

Cabal Seminar 77 – 79 : Proceedings, Caltech-UCLA Logic Seminar 1977 – 79

Published 1981

Springer Berlin Heidelberg

Cover Image

964

Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

Published 1981

Springer Berlin Heidelberg

Cover Image

965

Logic Symposia, Hakone, 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

966

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

by Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.
Published 1981

Springer Berlin Heidelberg

Cover Image

967

Logic Year 1979-80 : The University of Connecticut, USA

Published 1981

Springer Berlin Heidelberg

Cover Image

968

Graph Theory : Proceedings of a Conference held in Lagow, Poland, February 10-13, 1981

Published 1983

Springer Berlin Heidelberg

Cover Image

969

Cabal Seminar 79-81 : Proceedings. Caltech-UCLA Logic Seminar 1979-81

Published 1983

Springer Berlin Heidelberg

Cover Image

970

Combinatorial Mathematics X : Proceedings of the Conference Held in Adelaide, Australia, August 23-27, 1982

Published 1983

Springer Berlin Heidelberg

Cover Image

971

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

Published 1981

Springer Berlin Heidelberg

Cover Image

972

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

973

Cylindric Set Algebras

by Henkin, L., Monk, J. D., Tarski, A., Andreka, H.
Published 1981

Springer Berlin Heidelberg

Cover Image

974

Combinatorial Mathematics VIII : Proceedings of the Eighth Australian Conference on Combinatorial Mathematics Held at Deakin University, Geelong, Australia, August 25-29, 1980

Published 1981

Springer Berlin Heidelberg

Cover Image

975

Diskrete Mathematik : Eine Entdeckungsreise

by Nešetril, Jaroslav
Published 2002

Springer Berlin Heidelberg

Cover Image

976

Logic and Structure

by Dalen, Dirk van
Published 1980

Springer Berlin Heidelberg

Cover Image

977

Many-Valued Logics 1 : Theoretical Foundations

by Bolc, Leonard, Borowik, Piotr
Published 1992

Springer Berlin Heidelberg

Cover Image

978

Topics in Combinatorics and Graph Theory : Essays in Honour of Gerhard Ringel

Published 1990

Physica-Verlag HD

Cover Image

979

Logic and Structure

by Dalen, Dirk van
Published 1994

Springer Berlin Heidelberg

Cover Image

980

Finite Model Theory : First Edition

by Ebbinghaus, Heinz-Dieter, Flum, Jörg
Published 1995

Springer Berlin Heidelberg

44
45
46
47
48
49
50
51
52
53
54