100 Mathematical proof /

100 Mathematical proof /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Garnier, Rowan
Άλλοι συγγραφείς:	Taylor, John
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Chichester : John Wiley and sons, c1996
Θέματα:	Logic, symbolic and mathematical Proof theory

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

Sets, Models and Proofs
ανά: Moerdijk, Ieke, κ.ά.
Έκδοση: (2018)

Proceedings of the 2015 Conference on Certified Programs and Proofs
Έκδοση: (2015)

An Introduction to the Language of Mathematics
ανά: Mynard, Frédéric, κ.ά.
Έκδοση: (2018)

Proof Technology in Mathematics Research and Teaching
Έκδοση: (2019)

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Η λογική των προτάσεων, προτασιακός λογισμός
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Αποδεικτικό σύστημα
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Σύστημα Hilbert
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Συστήματα Gentzen
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Υπολογισιμότητα, αναδρομικές συναρτήσεις
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Τα Θεωρήματα μη πληρότητας του Gödel
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Συστήματα Tableaux
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Πρωτοβάθμια κατηγορηματική Λογική
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)

Μαθηματική λογική
ανά: Κολέτσος, Γεώργιος, κ.ά.
Έκδοση: (2016)

Computerized proofs of geometric theorems: applications to mechanism problems
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018)

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Έκδοση: (2014)

Proceedings of ACM conference on Proving assertions about programs
Έκδοση: (1972)

Mathematical logic for computer science/
ανά: Ben-Ari, M., 1948-
Έκδοση: (2001)

Introduction to Mathematical Structures and Proofs
ανά: Gerstein, Larry J.
Έκδοση: (2012)

Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Έκδοση: (2013)

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
ανά: Kohlenbach, Ulrich
Έκδοση: (2008)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Έκδοση: (2011)

Μαθηματική απόδειξη και επίλυση προβλήματος στο λύκειο
ανά: Λύρη, Αναστασία
Έκδοση: (2014)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Έκδοση: (2007)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Έκδοση: (2006)

Logic, sets, and recursion /
ανά: Causey, Robert L.
Έκδοση: (1994)

A Course in Mathematical Logic for Mathematicians
ανά: Manin, IU I.
Έκδοση: (2010)

Ανάλυση της λειτουργίας και των δυνατοτήτων των ηλεκτρονικών ψηφιακών νομισμάτων
ανά: ΣΤΟΪΚΟΥ, ΔΗΜΗΤΡΙΟΣ Α.Μ.17127
Έκδοση: (2021)

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
Έκδοση: (2013)

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Έκδοση: (2011)

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
Έκδοση: (2012)

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Έκδοση: (2009)

In the light of logic /
ανά: Feferman, Solomon
Έκδοση: (1998)

An introduction to practical formal methods using temporal logic /
ανά: Fisher, Michael, 1962-
Έκδοση: (2011)

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /
Έκδοση: (2008)

Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
ανά: Chatti, Saloua, κ.ά.
Έκδοση: (2019)

Proofs from THE BOOK
ανά: Aigner, Martin, κ.ά.
Έκδοση: (2010)

Elementary engineering mechanics applications of the OTTER automated reasoning system
ανά: Ioakimidis, Nikolaos
Έκδοση: (2018)

Αυστριακή οικονομική σχολή και κρυπτονομίσματα
ανά: Βελαλής, Κωνσταντίνος, κ.ά.
Έκδοση: (2023)

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