Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Αποδεικτικό σύστημα...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Αποδεικτικό σύστημα

Αποδεικτικό σύστημα

Bibliographic Details
Main Authors: Koletsos, Georgios, Κολέτσος, Γεώργιος
Format: 7
Language:Greek
Published: 2016
Subjects:
ΛΟΓΙΚΗ ΠΛΗΡΟΤΗΤΑ ΑΝΑΠΟΚΡΙΣΙΜΟΤΗΤΑ ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΙΣΟΜΟΡΦΙΣΜΟΣ ΑΠΟΔΕΙΞΕΩΝ ΠΡΟΓΡΑΜΜΑΤΩΝ
Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism
Online Access:http://localhost:8080/jspui/handle/11419/2308
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Description not available.

Similar Items

  • Σύστημα Hilbert
    by: Koletsos, Georgios, et al.
    Published: (2016)
  • ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
    by: Koletsos, Georgios, et al.
    Published: (2016)
  • Η λογική των προτάσεων, προτασιακός λογισμός
    by: Koletsos, Georgios, et al.
    Published: (2016)
  • Συστήματα Gentzen
    by: Koletsos, Georgios, et al.
    Published: (2016)
  • Υπολογισιμότητα, αναδρομικές συναρτήσεις
    by: Koletsos, Georgios, et al.
    Published: (2016)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

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

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud
Cannot write session to /tmp/vufind_sessions/sess_9lret6r9s5d48jhu01dqdkrjpe