The Psychology of Proof Deductive Reasoning in Human Thinking

The Psychology of Proof Deductive Reasoning in Human Thinking

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Rips, Lance J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Massachusetts Cambridge Massachusetts Bradford Book Massachusetts Institute of Technology Cambridge Mass. c1994
Θέματα:	Ψυχολογία Λόγος ΕΣΑ

Παρόμοια τεκμήρια

Handbook of proof theory
Έκδοση: (1998)

Κοινωνική ψυχολογία : η στροφή στον λόγο /
Έκδοση: (2011)

Η γλώσσα της αλλαγής : στοιχεία θεραπευτικής επικοινωνίας /
ανά: Watzlawick, Paul, 1921-2007
Έκδοση: (1986)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Through the barriers of deafness and isolation oral communication of the hearing - impaired child in life situations
ανά: Morkovin, Moris V.
Έκδοση: (1960)

The expressivity of grammar grammatical devices expressing emotion across time
ανά: Hubler, Axel
Έκδοση: (1998)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

An introduction to spoken interaction
ανά: Stenstrom, Anna-Brita, 1932
Έκδοση: (1994)

Effective speaking communicating in speech
ανά: Turk, Christopher
Έκδοση: (1985)

Η έννοια του λόγου
ανά: Howarth, David R.
Έκδοση: (2008)

Homo loquens man as a talking animal
ανά: Fry, Dennis
Έκδοση: (1977)

Constraint-Based Reasoning
Έκδοση: (1992)

Στρατηγική επικοινωνίας : η τέχνη και η τεχνική του γραπτού και προφορικού λόγου /
ανά: Φραγκομίχαλος, Κώστας Ε.
Έκδοση: (1993)

Discourse, learning and schooling /
Έκδοση: (1996)

Database Programming Languages Deductive, Functional, Persistent and Object-Oriented Aproaches
ανά: Cooper, Richard, κ.ά.
Έκδοση: (1996)

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Language production
Έκδοση: (1980)

The speech chain the physics and biology of spoken language
ανά: Denes, Peter B.
Έκδοση: (1963)

Η αγωγή του λόγου μάθετε να μιλάτε στην ιδιωτική σας ζωή, στις δουλειές σας, μπροστά σε κοινό, με σαφήνεια και αυτοπεποίθηση
ανά: Jagot, Paul C. (Paul Clément)
Έκδοση: (1961)

Αγωγή του λόγου : ορθοφωνία /
ανά: Παπακωνσταντίνος, Νίκος
Έκδοση: (1998)

Ο ένδημος φιλοσοφικός λόγος
ανά: Κωσταράς, Γρηγόριος Φιλ., 1936-
Έκδοση: (1986)

Δείκτης οργάνωσης του λόγου το "δηλαδή" και η σχέση του με συναφείς εκφράσεις
ανά: Αρχάκης, Αργύρης
Έκδοση: (1996)

Αγωγή του λόγου : ορθοφωνία /
ανά: Παπακωνσταντίνος, Νίκος
Έκδοση: (2014)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Treewidth Computations and Approximations
ανά: Kloks, Ton
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Introduction to Mathematical Physics
ανά: Harper, Charlie
Έκδοση: (1995)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1966)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1962)

Exploring discrete mathematics with maple
ανά: Devitt, John S., κ.ά.
Έκδοση: (1997)

Quantum computing and communications
Έκδοση: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_i02hkmpb12ii6lg1ruo0qi6g9j