Βελτιώστε την αναζήτησή σας

Η αναζήτηση επέστρεψε 26 αποτελέσματα.

Ταξινόμηση
Αποτελέσματα
1.
Brouwer meets Husserl [electronic resource] On the Phenomenology of Choice Sequences by Mark Atten από
  • Atten, Mark
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2007
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
2.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] by E. D. Solojentsev από
  • Solojentsev, E. D
Σειρά: Applied Optimization ; 93
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
3.
Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από
  • Fiadeiro, JosΓ© Luiz
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
4.
Trends in Continuum Mechanics of Porous Media [electronic resource] by Reint Boer από
  • Boer, Reint
Σειρά: Theory and Applications of Transport in Porous Media ; 18
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
5.
Laws of Nature [electronic resource] by Peter Mittelstaedt, Paul A. Weingartner από
  • Mittelstaedt, Peter
  • Weingartner, Paul A
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
6.
A Modern Perspective on Type Theory [electronic resource] From its Origins until Today by Fairouz Kamareddine, Twan Laan, Rob Nederpelt από
  • Kamareddine, Fairouz
  • Laan, Twan
  • Nederpelt, Rob
Σειρά: Applied Logic Series ; 29
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science + Business Media, Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
7.
Visualization, Explanation and Reasoning Styles in Mathematics [electronic resource] edited by Paolo Mancosu, Klaus Frovin JΓΈrgensen, Stig Andur Pedersen από
  • Mancosu, Paolo
  • JΓΈrgensen, Klaus Frovin
  • Pedersen, Stig Andur
Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 327
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
8.
Propositional and Predicate Calculus A Model of Argument [electronic resource] by Derek Goldrei από
  • Goldrei, Derek
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
9.
Field Arithmetic [electronic resource] by Michael D. Fried, Moshe Jarden από
  • Fried, Michael D
  • Jarden, Moshe
Σειρά: A Series of Modern Surveys in Mathematics ; 11
Έκδοση: Second Edition
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
10.
Introduction to Modern Number Theory [electronic resource] Fundamental Problems, Ideas and Theories by Yuri Ivanovic Manin, Alexei A. Panchishkin από
  • Manin, IU I
  • Panchishkin, Alexei A
Σειρά: Encyclopaedia of Mathematical Sciences, Number Theory I ; 49
Έκδοση: Second Edition
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
11.
A logical Approach to Philosophy [electronic resource] Essays in Honour of Graham Solomon edited by David Devidi, Tim Kenyon από
  • Devidi, David
  • Kenyon, Tim
Σειρά: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields ; 69
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
12.
Cambridge and Vienna [electronic resource] Frank P. Ramsey and the Vienna Circle edited by Maria Carla Galavotti από
  • Galavotti, Maria Carla
Σειρά: Vienna Circle Institute Yearbook [2004] ; 12
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
13.
The Age of Alternative Logics [electronic resource] Assessing Philosophy of Logic and Mathematics Today edited by Johan Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser από
  • Benthem, Johan
  • Heinzmann, Gerhard
  • Rebuschi, Manuel
  • Visser, Henk
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
14.
18 Unconventional Essays on the Nature of Mathematics [electronic resource] edited by Reuben Hersh από
  • Hersh, Reuben, 1927-
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
15.
Mathematical Problems from Applied Logic I [electronic resource] Logics for the XXIst Century edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev από
  • Gabbay, Dov M, 1945-
  • Goncharov, Sergei S
  • Zakharyaschev, Michael
Σειρά: International Mathematical Series ; 4
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
16.
Problems and Theorems in Classical Set Theory [electronic resource] by PΓ©ter KomjΓ'th, Vilmos Totik από
  • KomjΓ'th, PΓ©ter
  • Totik, Vilmos
Σειρά: Problem Books in Mathematics
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
17.
Handbook of Set Theory [electronic resource] edited by Matthew Foreman, Akihiro Kanamori από
  • Foreman, Matthew
  • Kanamori, Akihiro
  • SpringerLink (Online service)
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
18.
Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia by Ernst Zermelo; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori από
  • Zermelo, Ernst
  • Ebbinghaus, Heinz-Dieter, 1939-
  • Fraser, Craig G
  • Kanamori, Akihiro
  • SpringerLink (Online service)
Σειρά: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
19.
Cognitive Research [electronic resource] A Formal Approach by TamΓ's Gergely, Oleg M. Anshakov από
  • Gergely, TamΓ's
  • Anshakov, Oleg M
  • SpringerLink (Online service)
Σειρά: Cognitive Technologies
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
20.
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] by Andrzej Indrzejczak από
  • Indrzejczak, Andrzej
  • SpringerLink (Online service)
Σειρά: Trends in Logic ; 30
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud