Rezultati

1

Essays in Constructive Mathematics

od Edwards, Harold M.
Izdano 2005

eKnjiga

2

Adapting Proofs-as-Programs The Curry-Howard Protocol /

od Poernomo, Iman Hafiz., Crossley, John Newsome., Wirsing, Martin.
Izdano 2005

eKnjiga

3

A Modern Perspective on Type Theory From its Origins until Today /

od Kamareddine, Fairouz., Laan, Twan., Nederpelt, Rob.
Izdano 2005

eKnjiga

4

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

od Solojentsev, E. D.
Izdano 2005

eKnjiga

5

Trends in Continuum Mechanics of Porous Media

od Boer, Reint.
Izdano 2005

eKnjiga

6

Visualization, Explanation and Reasoning Styles in Mathematics

Izdano 2005

eKnjiga

7

Propositional and Predicate Calculus A Model of Argument

od Goldrei, Derek.
Izdano 2005

eKnjiga

8

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories /

od Manin, Yuri Ivanovic., Panchishkin, Alexei A.
Izdano 2005

eKnjiga

9

Categories for Software Engineering

od Fiadeiro, José Luiz.
Izdano 2005

eKnjiga

10

Kolmogorov's Heritage in Mathematics

Izdano 2007

eKnjiga

11

Ernst Zermelo An Approach to His Life and Work /

od Ebbinghaus, Heinz-Dieter.
Izdano 2007

eKnjiga

12

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /

Izdano 2007

eKnjiga

13

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

Izdano 2007

eKnjiga

14

Mathematical Problems from Applied Logic II Logics for the XXIst Century /

Izdano 2007

eKnjiga

15

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /

Izdano 2007

eKnjiga

16

Logica Universalis Towards a General Theory of Logic /

Izdano 2007

eKnjiga

17

The Legacy of Mario Pieri in Geometry and Arithmetic

od Marchisotto, Elena Anne., Smith, James T.
Izdano 2007

eKnjiga

18

The Strength of Nonstandard Analysis

Izdano 2007

eKnjiga

19

Laws of Nature

od Mittelstaedt, Peter., Weingartner, Paul A.
Izdano 2005

eKnjiga

20

Valued Fields

od Engler, Antonio J., Prestel, Alexander.
Izdano 2005

eKnjiga

Zoži iskanje