Site Breadcrumb
Murawski
Recursive Functions and Metamathematics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-0-7923-5904-3 (Buch)
- Erscheinungstermin: 30.09.1999
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Czelakowski
Protoalgebraic Logics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Czelakowski
Protoalgebraic Logics
- Verlag: Springer Netherlands
- ISBN: 978-90-481-5693-1 (Buch)
- Erscheinungstermin: 03.12.2010
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Lindström / Stoltenberg-Hansen / Palmgren
Logicism, Intuitionism, and Formalism
299,59 € (inkl. MwSt.)
279,99 € (zzgl. MwSt.)
Lindström / Stoltenberg-Hansen / Palmgren
Logicism, Intuitionism, and Formalism
- Verlag: Springer Netherlands
- ISBN: 978-90-481-8029-5 (Buch)
- Erscheinungstermin: 28.10.2010
- Lieferzeit ca. 10 Werktage
299,59 € (inkl. MwSt.)
279,99 € (zzgl. MwSt.)
Czelakowski
Protoalgebraic Logics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Czelakowski
Protoalgebraic Logics
- Verlag: Springer Netherlands
- ISBN: 978-0-7923-6940-0 (Buch)
- Erscheinungstermin: 30.04.2001
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Murawski
Recursive Functions and Metamathematics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-90-481-5298-8 (Buch)
- Erscheinungstermin: 06.12.2010
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Granström
Treatise on Intuitionistic Type Theory
149,79 € (inkl. MwSt.)
139,99 € (zzgl. MwSt.)
Granström
Treatise on Intuitionistic Type Theory
- Verlag: Springer Netherlands
- ISBN: 978-94-007-1735-0 (Buch)
- Erscheinungstermin: 03.06.2011
- Lieferzeit ca. 10 Werktage
149,79 € (inkl. MwSt.)
139,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 2
- Algebra (1)
- Angewandte Physik (2)
- Astronomie: Allgemeines (1)
- Computerlinguistik, Korpuslinguistik (1)
- Erkenntnistheorie (3)
- Geometrie (1)
- Geschichte der Westlichen Philosophie (17)
- Geschichtliche Themen (3)
- Informatik (6)
- Lehrerausbildung, Unterricht & Didaktik (3)
- Mathematik Allgemein (66)
- Mathematik Interdisziplinär (1)
- Mathematische Analysis (1)
- Metaphysik, Ontologie (3)
- Moderne Philosophische Disziplinen (4)
- Musikwissenschaft Allgemein (1)
- Numerik und Wissenschaftliches Rechnen (4)
- Pädagogik (1)
- Philosophie der Mathematik, Philosophie der Physik (66)
- Philosophie: Allgemeines, Methoden (3)
- Philosophische Logik, Argumentationstheorie (22)
- Physik Allgemein (1)
- Quantenphysik (2)
- Stochastik (7)
- Topologie (1)
- Wissenschaften Interdisziplinär (2)
- Wissenschaften: Allgemeines (29)
- Wissenschaften: Forschung und Information (1)
- Wissenschaftstheorie, Wissenschaftsphilosophie (25)
Unterthema 3
- Abfall- und Bodenschutzrecht (1)
- Aerodynamik (3)
- Agrartechnik, Landmaschinen (1)
- Akustik, Schwingungsanalyse (14)
- Algebraische Geometrie (16)
- Algebraische Strukturen, Gruppentheorie (40)
- Algebraische Topologie (5)
- Algorithmen & Datenstrukturen (32)
- Allgemeine Didaktik (11)
- Allgemeines Informationsrecht, Datenschutzrecht (2)
- Analytische Topologie (3)
- Angewandte Mathematik, Mathematische Modelle (134)
- Astrophysik (4)
- Atom- und Molekülphysik (4)
- Ausbildung, Jobs, Karriere: Naturwissenschaften, Technik, Medizin (5)
- Außenhandel (3)
- Automatische Datenerfassung, Datenanalyse (2)
- Bauelemente, Schaltkreise (47)
- Berechenbarkeitstheorie, Komplexitätstheorie (17)
- Betriebliches Energie- und Umweltmanagement (1)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (27)
- Bildsignalverarbeitung (85)
- Bildungssystem (1)
- Bioinformatik (18)
- Bioinformatik (18)
- Biologische Psychologie, Neuropsychologie (16)
- Biomathematik (14)
- Biomedizin, Medizinische Forschung, Klinische Studien (9)
- Biophysik (4)
- Biophysik (5)
- Biotechnologie- und Biomedizinrecht, Gentechnikrecht (2)
- Chemische Labormethoden, Stöchiometrie (3)
- Chemometrik, Chemoinformatik (8)
- Cloud-Computing, Grid-Computing (4)
- Compiler (9)
- Computer-Aided Design (CAD) (59)
- Computeralgebra (2)
- Computeranwendungen in der Mathematik (48)
- Computeranwendungen in Geistes- und Sozialwissenschaften (13)
- Computeranwendungen in Wissenschaft & Technologie (73)
- Computergestützte Fertigung (1)
- Computersicherheit (5)
- Computersimulation & Modelle, 3-D Graphik (4)
- Data Mining (12)
- Data Warehouse (1)
- Datenanalyse, Datenverarbeitung (38)
- Datenbankprogrammierung (1)
- Datenkompression, Dokumentaustauschformate (31)
- Demographie, Demoskopie (5)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (42)
- Differentielle Psychologie, Persönlichkeitspsychologie (1)
- Digitale Animation (3)
- Digitale Medien, Internet, Telekommunikation (6)
- Diskrete Mathematik, Kombinatorik (26)
- Drahtlostechnologie (4)
- Dynamische Systeme (2)
- E-Commerce, E-Business, E-Marketing (5)
- E-Learning (12)
- E-Learning, Bildungstechnologie (15)
- EDV & Informatik: Geschichte (1)
- Eingebettete Systeme (12)
- Elastizität, Plastizität, Rheologie (2)
- Elektrizität, Elektrodynamik (2)
- Elektrochemie, Magnetochemie (1)
- Elektronische Baugruppen, Elektronische Materialien (4)
- Elementare Algebra (26)
- Elementare Analysis und Allgemeine Begriffe (14)
- Elementare Geometrie: Allgemeines (14)
- Elementare Stochastik (10)
- Empirische Sozialforschung, Statistik (7)
- Entscheidungsfindung (14)
- Entscheidungstheorie, Sozialwahltheorie (1)
- Entsorgungswirtschaft (2)
- Entwicklungspsychologie (4)
- Euklidische Geometrie (1)
- Evolutionsbiologie (12)
- Existenzphilosophie, Lebensphilosophie (2)
- Experimentalphysik (10)
- Externe Speicher & Peripheriegeräte (16)
- Fernmeldetechnik (5)
- Fernsehtechnik (1)
- Fertigungstechnik (8)
- Fertigungstechnik, Automatisierung (1)
- Festkörperchemie (2)
- Festkörperphysik, Kondensierte Materie (6)
- Finanzierung, Investition, Leasing (1)
- Forschung & Entwicklung (F&E), Innovation (5)
- Forschungsmethodik, Wissenschaftliche Ausstattung (2)
- Forstwirtschaft, Forstwissenschaft (4)
- Fotografie: Ausrüstung & Technik (1)
- Freizeitsoziologie, Konsumsoziologie, Alltagssoziologie, Populärkultur (1)
- Friedens- und Konfliktforschung (1)
- Funktechnik (1)
- Funktionalanalysis (23)
- Funktionale, Logische, Parallele und Visuelle Programmierung (9)
- Funktionentheorie, Komplexe Analysis (4)
- Geisteswissenschaften (1)
- Genetik und Genomik (nichtmedizinisch) (2)
- Geometrie der modernen Physik (1)
- Geophysik (3)
- Geschichte der Human- und Sozialwissenschaften (4)
- Geschichte der Mathematik (5)
- Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik (9)
- Geschichte der Physik (10)
- Grafikprogrammierung (100)
- Graphentheorie (23)
- Gravitation (1)
- Grid-Computing & Paralleles Rechnen (7)
- Groupware (12)
- Grundlagen der Mathematik (146)
- Halbleiter- und Supraleiterphysik (3)
- Hardware: Grundlagen und Allgemeines (8)
- Harmonische Analysis, Fourier-Mathematik (8)
- Herz- & Thoraxchirurgie (1)
- Hochleistungsrechnen, Supercomputer (40)
- Homologische Algebra (41)
- Humangenetik (1)
- Hydraulik, Pneumatik (1)
- Immunologie (2)
- Industrielle Biotechnologie (3)
- Industrielle Qualitätskontrolle (4)
- Information Retrieval (5)
- Informationstechnik, IT-Industrie (2)
- Informationstheorie, Kodierungstheorie (80)
- Informationstheorie, Kodierungstheorie (66)
- Integralrechnungen- und -gleichungen (2)
- Internationale Menschen- und Minderheitenrechte, Kinderrechte (2)
- Internationales See-, Luft- und Weltraumrecht (1)
- Internet, E-Mail, Social Media (8)
- Internet, E-Mail, VoIP (2)
- Kanzleiführung, Büroorganisation, Kanzleimanagement (2)
- Kardiologie, Angiologie, Phlebologie (1)
- Klassische Mechanik, Newtonsche Mechanik (31)
- Kognitionspsychologie (51)
- Komplexchemie (2)
- Konflikt- und Friedensforschung, Rüstungskontrolle, Abrüstung (1)
- Kontinuumsmechanik (1)
- Kontinuumsmechanik, Strömungslehre (10)
- Kriminalsoziologie (2)
- Kryptologie, Informationssicherheit (6)
- Kultur- und Sozialethnologie: Allgemeines (2)
- Kulturwissenschaften (1)
- Künstliche Intelligenz (739)
- Kunsttheorie, Kunstphilosophie (2)
- Kybernetik, Systemtheorie, Komplexe Systeme (54)
- Landschaftsplanung, Ländliche Planung (4)
- Leistungselektronik (2)
- Lineare und multilineare Algebra, Matrizentheorie (34)
- Logik, formale Sprachen, Automaten (130)
- Luftfahrtindustrie (7)
- Magnetismus (3)
- Magnetresonanz (3)
- Materialwissenschaft: Elektronik, Optik (4)
- Materialwissenschaft: Keramik, Glas, Sonstige Werkstoffe (1)
- Materialwissenschaft: Polymerwerkstoffe (2)
- Materialwissenschaft: Verbundwerkstoffe (5)
- Mathematik für Informatiker (119)
- Mathematische & Statistische Software (1)
- Mathematische Logik (102)
- Mathematische Statistik (63)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (4)
- Medien & Gesellschaft, Medienwirkungsforschung (3)
- Medienpädagogik, Mediendidaktik (4)
- Mediensoziologie (3)
- Medizinische Ethik (4)
- Medizinische Ethik (4)
- Medizinische Mathematik & Informatik (9)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (30)
- Meeres- und Süßwasserökologie (1)
- Mengentheoretische Topologie (6)
- Mensch-Maschine-Interaktion (177)
- Menschenrechte, Bürgerrechte (2)
- Methoden des Lehrens und Lernens (4)
- Mikroprozessoren (58)
- Mikroskopie, Spektroskopie (5)
- Mikrowellentechnik (5)
- Mittelalterliche & Scholastische Philosophie (1)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (4)
- Moderne Anwendungen der Analysis (12)
- Molekulare Medizin, Zellbiologie (2)
- Multimedia (12)
- Musikalische Akustik, Tontechnik, Musikaufnahme (2)
- Musikindustrie (1)
- Musikindustrie (1)
- Musikpsychologie, Musiksoziologie (1)
- Musiktheorie, Musikästhetik, Kompositionslehre (4)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (2)
- Natürliche Sprachen & Maschinelle Übersetzung (51)
- Naturwissenschaften, Technik, Medizin (6)
- Netzwerk-Hardware (15)
- Neurobiologie, Verhaltensbiologie (20)
- Neurochirurgie (1)
- Neurologie, Klinische Neurowissenschaft (24)
- Neurowissenschaften, Kognitionswissenschaft (24)
- Nicht-Euklidische Geometrie (9)
- Nichtmetallische Chemie (2)
- Numerische Mathematik (87)
- Oberflächen- und Grenzflächenphysik, Dünne Schichten (1)
- Ökologie (2)
- Ökonometrie (28)
- Onkologie, Krebsforschung (2)
- Optik (3)
- Optimierung (10)
- Optische Nachrichtentechnik (1)
- Pädagogische Psychologie (4)
- Pflanzenphysiologie, Photosynthese (1)
- Pflanzenreproduktion, Verbreitung, Genetik (2)
- Phänomenologie (1)
- Pharmakologie, Toxikologie (3)
- Pharmazeutische Chemie, Medizinische Chemie (3)
- Philosophie der Mathematik (6)
- Philosophie der Technik (2)
- Philosophie des Geistes, Neurophilosophie (39)
- Physik, Chemie, Biologie für Mediziner (2)
- Physiologie (1)
- Plasmaphysik (1)
- Politische Geographie (4)
- Politische Methodenlehre (2)
- Polymerchemie (2)
- Populärwissenschaftliche Werke (1)
- Produktionsmanagement, Qualitätskontrolle (5)
- Programmier- und Skriptsprachen (8)
- Programmierung: Methoden und Allgemeines (6)
- Projektmanagement (1)
- Prozedurale Programmierung (20)
- Psychologie: Allgemeines (5)
- Quantenchemie, Theoretische Chemie (12)
- Quantenoptik, Nichtlineare Optik, Laserphysik (1)
- Rechnerarchitektur (33)
- Rechtliche Aspekte der EDV (7)
- Reelle Analysis (13)
- Regelungstechnik (19)
- Regionalwissenschaften, Regionalstudien (1)
- Rehabilitation (2)
- Relativität, Gravitation (2)
- Risikobewertung, Risikotheorie (3)
- Risikomanagement (3)
- Robotik (451)
- Schaltungsentwurf (5)
- Schulleitung, Schulentwicklung (1)
- Schulpädagogik (1)
- Semiotik (3)
- Sensorik (7)
- Signalverarbeitung (19)
- Social Media, Semantic Web, Web 2.0 (5)
- Software Engineering (55)
- Soziale und ethische Aspekte der EDV (11)
- Soziale Ungleichheit, Armut, Rassismus (1)
- Sozialpolitik (1)
- Sozialpsychologie (6)
- Soziophysik, Wirtschaftsphysik (2)
- Spiele-Programmierung, Rendering, Animation (25)
- Spieltheorie (38)
- Spitzentechnologiesektor (2)
- Sportmedizin, Medikamentenmissbrauch, Doping (1)
- Sprachphilosophie (37)
- Sprachpsychologie (1)
- Sprachsoziologie (2)
- Stadtplanung, Kommunale Planung (3)
- Statik, Dynamik, Kinetik, Kinematik (16)
- Statistische Physik, Dynamische Systeme (37)
- Stochastische Prozesse (11)
- Strömungslehre (9)
- Systemtheorie (32)
- Systemverwaltung & Management (60)
- Teilchenphysik (3)
- Telekommunikationsrecht, IT-Recht, Internetrecht (1)
- Theoretische Informatik (9)
- Theoretische Physik, Mathematische Physik, Computerphysik (41)
- Tiergenetik, Reproduktion (2)
- Tonsignalverarbeitung (12)
- Toxikologie, Gefahrstoffe, Sicherheit in der Chemie (3)
- Überwachungstechnik (10)
- Umweltmedizin, Arbeitsmedizin, Tropenmedizin, Sportmedizin (1)
- Umweltrecht allg., Technikrecht, Immissionsschutzrecht (2)
- Unternehmensführung (6)
- Unternehmenssoftware (11)
- Unterrichtsmaterialien (4)
- Variationsrechnung (50)
- Verkehrsplanung, Verkehrspolitik (1)
- Verlagswesen (1)
- Verteilte Systeme (Netzwerke) (1)
- Virtuelle Realität, Erweiterte Realität (16)
- Wahrscheinlichkeitsrechnung (53)
- Wartung & Reparatur (10)
- Webprogrammierung (2)
- Werkstoffkunde, Materialwissenschaft: Forschungsmethoden (5)
- Werkstoffprüfung (4)
- Werkzeugbau (6)
- Westliche Philosophie: 20./21. Jahrhundert (2)
- Windows Betriebssysteme (29)
- Wirtschafts- und Sozialwissenschaften (11)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsgeographie (2)
- Wirtschaftsinformatik (21)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Wirtschaftssoziologie, Arbeitssoziologie, Organisationssoziologie (1)
- Wirtschaftsstatistik, Demographie (2)
- Wirtschaftstheorie, Wirtschaftsphilosophie (1)
- Wissenschaften: Theorie, Epistemologie, Methodik (44)
- Wissenschaftliches Arbeiten, Studientechnik (2)
- Wissenschaftliches Arbeiten, Studientechnik (2)
- Wissenschafts- und Universitätsgeschichte (4)
- Wissenschaftsethik, Technikethik (4)
- Wissensmanagement (1)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (7)
- Zahlentheorie (37)
- Zeichen- und Zahlendarstellungen (47)
Medium
Verlag
- Birkhäuser (1)
- Cambridge University Press (1)
- De Gruyter (1)
- MIT Press Ltd (1)
- OUP Oxford (1)
- Oxford University Press, USA (3)
- Springer (6)
- Springer Berlin Heidelberg (3)
- Springer International Publishing (24)
- Springer Nature Singapore (3)
- Springer Netherlands (6)
- Springer-Verlag GmbH (1)
- Taylor & Francis Ltd (2)
- Taylor and Francis (2)