Αποτελέσματα αναζήτησης - Cambridge ((mathematical biology) OR (mathematical logic))

1

The theory of the chemostat : dynamics of microbial competition /

ανά Smith, Hal L.
Έκδοση 1995

Θέματα: '; “...Microbial growth Mathematical models...”

Βιβλίο

2

Physics in molecular biology /

ανά Sneppen, Kim
Έκδοση 2006

Θέματα: '; “...Molecular biology Mathematical models...”

Βιβλίο

3

Principia mathematica, to *56 /

ανά Whitehead, Alfred North
Έκδοση 1962

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

4

Logic of statistical inference /

ανά Hacking, Ian
Έκδοση 1965

Θέματα: '; “...Mathematical statistics...”

Βιβλίο

5

Logic for mathematicians /

ανά Hamilton, A.G.
Έκδοση 1978

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

6

Fallacies in mathematics /

ανά Maxwell, E. A.
Έκδοση 1959

Θέματα: '; “...Mathematical recreations...”

Βιβλίο

7

Introduction to higher order categorical logic /

ανά Lambek, J.
Έκδοση 1988

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

8

Principia mathematica /

ανά Whitehead, Alfred North
Έκδοση 1963

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

9

Logic, induction and sets /

ανά Forster, Thomas
Έκδοση 2003

“...London mathematical society student texts ; ;...”

Βιβλίο

10

Advances in linear logic /

Έκδοση 1995

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

11

Computability and logic /

ανά Boolos, George S.
Έκδοση 1980

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

12

Selected logic papers /

ανά Quine, W. V. (Willard van Orman)
Έκδοση 1995

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

13

An introduction to mathematical thought /

ανά Stabler, Edward Russell, 1906-
Έκδοση 1953

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

14

Varieties of constructive mathematics.

ανά Bridges, Douglas S.
Έκδοση 1988

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

15

Proofs and refutations : : the logic of mathematical discovery /

ανά Lakatos, Imre
Έκδοση 1976

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

16

Linear logic in computer science /

Έκδοση 2004

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

17

Computability and logic /

ανά Boolos, George S
Έκδοση 2007

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

18

Derivation and computation : taking the Curry-Howard correspondence seriously /

ανά Simmons, Harold
Έκδοση 2000

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

19

Computability, enumerability, unsolvability directions in recursion theory /

Έκδοση 1996

Θέματα: '; “...Unsolvability (Mathematical logic)...”

Βιβλίο

20

Semantics and logics of computation

Έκδοση 1997

Θέματα: '; “...Logic, Symbolic and mathematical...”

Βιβλίο

Περιορισμός αναζήτησης