MPG.eBooks - Search Results

Cover Image

201

Grundzüge der theoretischen Logik

by Hilbert, David, Ackermann, Wilhelm
Published 1972

Springer Berlin Heidelberg

Cover Image

202

Modern Cryptography, Probabilistic Proofs and Pseudorandomness

by Goldreich, Oded
Published 1999

Springer Berlin Heidelberg

Cover Image

203

Elements of Finite Model Theory

by Libkin, Leonid
Published 2004

Springer Berlin Heidelberg

Cover Image

204

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

by Bertot, Yves, Castéran, Pierre
Published 2004

Springer Berlin Heidelberg

Cover Image

205

Einleitung in die Mengenlehre : Eine gemeinverständliche Einführung in das Reich der unendlichen Größen

by Fraenkel, Abraham Adolf
Published 1919

Springer Berlin Heidelberg

Cover Image

206

A Survey of Binary Systems

by Bruck, Richard Hubert
Published 1971

Springer Berlin Heidelberg

Cover Image

207

Introduction to Cardinal Arithmetic

by Holz, Michael, Steffens, Karsten, Weitz, E.
Published 1999

Birkhäuser

Cover Image

208

A Source Book in Matroid Theory

by KUNG.
Published 1986

Birkhäuser

Cover Image

209

Mathematical Logic

by Monk, J.D.
Published 1976

Springer New York

Cover Image

210

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...

Published 2004

Springer Berlin Heidelberg

Cover Image

211

Approximation and Computation: A Festschrift in Honor of Walter Gautschi : Proceedings of the Purdue Conference, December 2–5, 1993

Published 1994

Birkhäuser

Cover Image

212

Mathematical Aspects of Scientific Software

Published 1988

Springer New York

Cover Image

213

Word Equations and Related Topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings

Published 1993

Springer Berlin Heidelberg

Cover Image

214

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10-21, 1987

Published 1989

Springer Berlin Heidelberg

Cover Image

215

Proof Theory : An Introduction

by Pohlers, Wolfram
Published 1989

Springer Berlin Heidelberg

Cover Image

216

Decidable Theories : Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

by Büchi, J.R., Siefkes, D.
Published 1973

Springer Berlin Heidelberg

Cover Image

217

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Published 1989

Springer Berlin Heidelberg

Cover Image

218

Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Cover Image

219

Fuzzy Logic, Neural Networks, and Evolutionary Computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14 - 15, 1995, Selected Papers

Published 1996

Springer Berlin Heidelberg

Cover Image

220

Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

by Matousek, Jiri
Published 2003

Springer Berlin Heidelberg

6
7
8
9
10
11
12
13
14
15
16