Matematisk logik

Gem søgning

Algorithms and Theory of Computation Handbook, Volume 2

Algorithms and Theory of Computation Handbook, Volume 2 View_Book

Twenty Years of A New Kind of Science

Stephen Wolfram Twenty Years of A New Kind of Science View_Book

Logic Puzzles & Brain Games for Adults

Khalid Alzamili Logic Puzzles & Brain Games for Adults View_Book

A First Course in Mathematical Logic and Set Theory

Michael L. O'Leary A First Course in Mathematical Logic and Set Theory View_Book

Francisco Doria, Newton da Costa, Gregory Chaitin Goedel's Way View_Book

Dhruba Kumar Bhattacharyya, Jugal Kumar Kalita DDoS Attacks View_Book

Introduction to Model Theory

Philipp Rothmaler Introduction to Model Theory View_Book

Concise Encyclopedia of Coding Theory

Concise Encyclopedia of Coding Theory View_Book

On Constructive Interpretation of Predictive Mathematics (1990)

Charles Parsons On Constructive Interpretation of Predictive Mathematics (1990) View_Book

The Zero Trust Framework

Ravindra (Apollo Biometrics Das, Ravindra Das The Zero Trust Framework View_Book

Kees Van Deemter Not Exactly View_Book

Logic and Discrete Mathematics

Claudette Robinson, Valentin Goranko, Willem Conradie Logic and Discrete Mathematics View_Book

Logic in Tehran

Logic in Tehran View_Book

Richard A. Mollin Codes View_Book

Logic Colloquium '02

Logic Colloquium '02 View_Book

Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games, 1e Student Solutions Manual

J. Winston Crawley, Douglas E. Ensley Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and... View_Book

Logic Colloquium 2000 (hardcover)

Logic Colloquium 2000 (hardcover) View_Book

Logic Colloquium '01

Logic Colloquium '01 View_Book

Inexhaustibility: A Non-Exhaustive Treatment

Torkel Franzen Inexhaustibility: A Non-Exhaustive Treatment View_Book

Logic Colloquium '99

Logic Colloquium '99 View_Book

Daniel Bonevac Deduction View_Book

Cellular Automata And Complexity

Stephen Wolfram Cellular Automata And Complexity View_Book

Proof Theory and Automated Deduction

Jean Goubault-Larrecq, I. Mackie Proof Theory and Automated Deduction View_Book

Logic: a Brief Course

Daniele Mundici Logic: a Brief Course View_Book

Mathematics in Kant's Critical Philosophy

Lisa Shabel Mathematics in Kant's Critical Philosophy View_Book

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat... View_Book

A Course on Set Theory

Ernest Schimmerling A Course on Set Theory View_Book

Logic with a Probability Semantics

Theodore Hailperin Logic with a Probability Semantics View_Book

Fundamentals of Mathematics

Bernd S. W. Schroeder, Bernd S. W. Schroder Fundamentals of Mathematics View_Book

Pearls of Discrete Mathematics

Martin Erickson Pearls of Discrete Mathematics View_Book