Indice
2 relazioni: Aritmetica di Robinson, Codice vettore IATA.
Aritmetica di Robinson
L'aritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine, definita per la prima volta da Raphael M. Robinson nel 1950 che ha come assiomi propri una versione ridotta degli assiomi di Peano in cui è assente il principio di induzione e c'è l'aggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell'aritmetica di Peano è dimostrabile per induzione).
Vedere Q6 e Aritmetica di Robinson
Codice vettore IATA
Il Codice vettore IATA è un codice di due lettere che la International Air Transport Association (IATA) assegna alle aerolinee mondiali. Questo codice forma le prime due lettere del codice di un volo.
Vedere Q6 e Codice vettore IATA